diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2018-06-05 22:47:22 +0300 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2018-06-05 22:53:45 +0300 |
| commit | d88884fa3b7afd5fd58036fed38cbe66d55245c5 (patch) | |
| tree | c44903347c62271e05161e95a4f61f4754801732 /gnu/packages/gnome.scm | |
| parent | f1c6de3735ed0fe73a89b854750f684b28571fe3 (diff) | |
| download | patches-d88884fa3b7afd5fd58036fed38cbe66d55245c5.tar patches-d88884fa3b7afd5fd58036fed38cbe66d55245c5.tar.gz | |
gnu: arc-theme: Replace bootstrap phase.
* gnu/packages/gmome.scm (arc-theme)[arguments]: Replace 'boostrap phase
with a custom phase.
Diffstat (limited to 'gnu/packages/gnome.scm')
| -rw-r--r-- | gnu/packages/gnome.scm | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm index 3fde8487dd..c578a0aea6 100644 --- a/gnu/packages/gnome.scm +++ b/gnu/packages/gnome.scm @@ -11,7 +11,7 @@ ;;; Copyright © 2015, 2016, 2017, 2018 Ricardo Wurmus <rekado@elephly.net> ;;; Copyright © 2015, 2016, 2017, 2018 Mark H Weaver <mhw@netris.org> ;;; Copyright © 2015 David Thompson <davet@gnu.org> -;;; Copyright © 2015, 2016, 2017 Efraim Flashner <efraim@flashner.co.il> +;;; Copyright © 2015, 2016, 2017, 2018 Efraim Flashner <efraim@flashner.co.il> ;;; Copyright © 2016, 2017, 2018 Rene Saavedra <pacoon@protonmail.com> ;;; Copyright © 2016 Jochem Raat <jchmrt@riseup.net> ;;; Copyright © 2016, 2017 Kei Kebreau <kkebreau@posteo.net> @@ -6433,6 +6433,12 @@ functionality and behavior.") (base32 "0igxpngnkf1wpsg872a9jg3c9f5z8afm312yfbillz16mk8w39cw")))) (build-system gnu-build-system) + (arguments + '(#:phases + (modify-phases %standard-phases + ;; autogen.sh calls configure at the end of the script. + (replace 'bootstrap + (lambda _ (invoke "autoreconf" "-vfi")))))) (native-inputs `(("autoconf" ,autoconf) ("automake" ,automake) |