diff options
| -rw-r--r-- | gnu/packages/gnome.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm index 597b53e2c4..36ba382206 100644 --- a/gnu/packages/gnome.scm +++ b/gnu/packages/gnome.scm @@ -1086,8 +1086,8 @@ to access local and remote files with a single consistent API.") (substitute* "libgnome/Makefile.in" (("-DG_DISABLE_DEPRECATED") "-DGLIB_DISABLE_DEPRECATION_WARNINGS"))) %standard-phases))) - (inputs `(("popt" ,popt) - ("libxml2" ,libxml2))) + (propagated-inputs `(("popt" ,popt))) ; gnome-program.h includes popt.h + (inputs `(("libxml2" ,libxml2))) (native-inputs `(("glib" ,glib "bin") ; for glib-mkenums, etc. ("intltool" ,intltool) |