diff options
author | Ludovic Courtès <ludo@gnu.org> | 2014-12-27 23:54:23 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2014-12-27 23:54:23 +0100 |
commit | 2a8d44015ff2672b7a9a2ea5054b51a83b0e934b (patch) | |
tree | 00cdf5dac6acd2bd736a726bc5e032f328d29d6a /gnu/packages/gnome.scm | |
parent | cc9a5c1454f49850c078045c88a300c1195eabc8 (diff) | |
download | patches-2a8d44015ff2672b7a9a2ea5054b51a83b0e934b.tar patches-2a8d44015ff2672b7a9a2ea5054b51a83b0e934b.tar.gz |
gnu: libxml2: Add search path specification.
* gnu/packages/xml.scm (libxml2)[native-search-paths, search-paths]: New
fields.
* gnu/packages/gnome.scm (gnome-doc-utils)[arguments]: Remove.
* gnu/packages/gps.scm (gpscorrelate)[arguments]: Remove settings for
'XML_CATALOG_FILES' from 'configure' phase.
* gnu/packages/web.scm (tinyproxy)[arguments]: Likewise.
Diffstat (limited to 'gnu/packages/gnome.scm')
-rw-r--r-- | gnu/packages/gnome.scm | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm index d9a22b41bb..daa172fe2a 100644 --- a/gnu/packages/gnome.scm +++ b/gnu/packages/gnome.scm @@ -143,17 +143,6 @@ The gnome-about program helps find which version of GNOME is installed.") (base32 "19n4x25ndzngaciiyd8dd6s2mf9gv6nv3wv27ggns2smm7zkj1nb")))) (build-system gnu-build-system) - (arguments - `(#:phases - (alist-cons-before - 'check 'pre-check - (lambda* (#:key inputs #:allow-other-keys #:rest args) - ;; This is needed, because without it, xmlint etc tries - ;; to download docbookx.dtd from the net - (setenv "XML_CATALOG_FILES" - (string-append (assoc-ref inputs "docbook-xml") - "/xml/dtd/docbook/catalog.xml"))) - %standard-phases))) (native-inputs `(("intltool" ,intltool) ("docbook-xml" ,docbook-xml-4.4) |