diff options
author | Efraim Flashner <efraim@flashner.co.il> | 2021-08-04 10:26:06 +0300 |
---|---|---|
committer | Efraim Flashner <efraim@flashner.co.il> | 2021-08-04 10:41:26 +0300 |
commit | 1914d24b452ca6dad30fad6f1faa5f611fa740b0 (patch) | |
tree | db6fb1d3fb785955d3968c9c48116d8ab4c4a744 /gnu/packages/prolog.scm | |
parent | 5bf675cdaf16cca96fd26d80a099f6043fe9d7f8 (diff) | |
download | guix-1914d24b452ca6dad30fad6f1faa5f611fa740b0.tar.gz |
gnu: gprolog: Update to 1.5.0.
* gnu/packages/prolog.scm (gprolog): Update to 1.5.0. [arguments]: Rename custom 'change-dir-n-fix-shells to 'change-dir and remove substitution.
Diffstat (limited to 'gnu/packages/prolog.scm')
-rw-r--r-- | gnu/packages/prolog.scm | 13 |
1 files changed, 5 insertions, 8 deletions
diff --git a/gnu/packages/prolog.scm b/gnu/packages/prolog.scm index a5c57cd37c..4eb0f4d3b6 100644 --- a/gnu/packages/prolog.scm +++ b/gnu/packages/prolog.scm @@ -2,6 +2,7 @@ ;;; Copyright © 2013 Nikita Karetnikov <nikita@karetnikov.org> ;;; Copyright © 2013 Mark H Weaver <mhw@netris.org> ;;; Copyright © 2020 Brett Gilio <brettg@gnu.org> +;;; Copyright © 2021 Efraim Flashner <efraim@flashner.co.il> ;;; ;;; This file is part of GNU Guix. ;;; @@ -42,7 +43,7 @@ (define-public gprolog (package (name "gprolog") - (version "1.4.5") + (version "1.5.0") (source (origin (method url-fetch) @@ -53,7 +54,7 @@ ".tar.gz"))) (sha256 (base32 - "0z4cc42n3k6i35b8mr816iwsvrpxshw6d7dgz6s2h1hy0l7g1p5z")))) + "009ca4wn2q6xdmb0js0vz647cw5ygsqyyqc9svmjgahg7js441k7")))) (build-system gnu-build-system) (arguments `(#:configure-flags @@ -61,13 +62,9 @@ "--with-install-dir=" %output "/share/gprolog")) #:phases (modify-phases %standard-phases - (add-before 'configure 'change-dir-n-fix-shells + (add-before 'configure 'change-dir (lambda _ - (chdir "src") - (substitute* "configure" - (("-/bin/sh") (string-append "-" (which "sh"))) - (("= /bin/sh") (string-append "= " (which "sh")))) - #t))))) + (chdir "src")))))) (home-page "https://www.gnu.org/software/gprolog/") (synopsis "Prolog compiler") (description |