diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2017-10-10 21:44:32 +0200 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2017-10-10 21:44:32 +0200 |
| commit | 1c055d72585bd075e20ad0b41942d501d0b38656 (patch) | |
| tree | 7baf50e22fb5f6c6d4b2fa7197596f68298eb691 /gnu/packages/gprolog.scm | |
| parent | 565e24c4e4710a5b81cce5cfb619b3e474e7f65c (diff) | |
| parent | ffb4da7ad5c0e9cc969e0e47a3b8f4d2eba4d6f3 (diff) | |
Merge branch 'staging'
Diffstat (limited to 'gnu/packages/gprolog.scm')
| -rw-r--r-- | gnu/packages/gprolog.scm | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/gnu/packages/gprolog.scm b/gnu/packages/gprolog.scm index 87c833e947..b27b080ca7 100644 --- a/gnu/packages/gprolog.scm +++ b/gnu/packages/gprolog.scm @@ -41,14 +41,15 @@ `(#:configure-flags (list (string-append "--with-install-dir=" %output "/share/gprolog")) - #:phases (alist-cons-before - 'configure 'change-dir-n-fix-shells - (lambda _ - (chdir "src") - (substitute* "configure" - (("-/bin/sh") (string-append "-" (which "sh"))) - (("= /bin/sh") (string-append "= " (which "sh"))))) - %standard-phases))) + #:phases + (modify-phases %standard-phases + (add-before 'configure 'change-dir-n-fix-shells + (lambda _ + (chdir "src") + (substitute* "configure" + (("-/bin/sh") (string-append "-" (which "sh"))) + (("= /bin/sh") (string-append "= " (which "sh")))) + #t))))) (home-page "https://www.gnu.org/software/gprolog/") (synopsis "Prolog compiler") (description |