diff options
| author | Brett Gilio <brettg@gnu.org> | 2020-07-18 23:38:10 -0500 |
|---|---|---|
| committer | Brett Gilio <brettg@gnu.org> | 2020-07-18 23:38:10 -0500 |
| commit | d37eb6bb20069464e3a82d15a350084b457c12f6 (patch) | |
| tree | 47b17eaaa4b335c7b08c6c89907fd4065308cba9 /gnu/packages/prolog.scm | |
| parent | 282ca4a135919b324d447a5e1f643fce4cc17da5 (diff) | |
| download | guix-patches-d37eb6bb20069464e3a82d15a350084b457c12f6.tar guix-patches-d37eb6bb20069464e3a82d15a350084b457c12f6.tar.gz | |
gnu: swi-prolog: Update to 8.3.4.
* gnu/packages/prolog.scm (swi-prolog): Update to 8.3.4.
[arguments]: Several test phases now pass that were broken previously, so
'delete-failing-tests-(pre/post) have been removed in favor of a single
'delete-failing-tests phase after unpack. The comment was revised to reflect
this change.
Diffstat (limited to 'gnu/packages/prolog.scm')
| -rw-r--r-- | gnu/packages/prolog.scm | 22 |
1 files changed, 5 insertions, 17 deletions
diff --git a/gnu/packages/prolog.scm b/gnu/packages/prolog.scm index 3c96576ba9..18c51a7c94 100644 --- a/gnu/packages/prolog.scm +++ b/gnu/packages/prolog.scm @@ -86,7 +86,7 @@ manner. It also features an interactive interpreter.") (define-public swi-prolog (package (name "swi-prolog") - (version "8.1.21") + (version "8.3.4") (source (origin (method git-fetch) (uri (git-reference @@ -96,7 +96,7 @@ manner. It also features an interactive interpreter.") (file-name (git-file-name name version)) (sha256 (base32 - "1axdiz37dllw0ih58ffm0m95dfxqfzwahl48hpzq90rz4swcr1lq")))) + "1r8ypnm8vd2si5wsc9f9i612967l9pdd57bdq4n29mjnl18wznfr")))) (build-system cmake-build-system) (arguments `(#:parallel-build? #t @@ -106,11 +106,9 @@ manner. It also features an interactive interpreter.") "-DSWIPL_INSTALL_IN_LIB=OFF") ; FIXME: Breaks RUNPATH validation. #:phases (modify-phases %standard-phases - ;; XXX: Delete a variety of tests which fail either attempting to - ;; establish a network connection, or attempts to write to the - ;; immutable store. Phases marked *-pre are disabled /before/ building. - ;; Phases marked *-post are disabled /after/ building. - (add-after 'unpack 'delete-failing-tests-pre + ;; XXX: Delete the test phase that attempts to write to the + ;; immutable store. + (add-after 'unpack 'delete-failing-tests (lambda _ (substitute* "src/CMakeLists.txt" ((" save") "")) @@ -119,16 +117,6 @@ manner. It also features an interactive interpreter.") (with-directory-excursion "src/Tests" (for-each delete-file-recursively '("save"))) - #t)) - (add-before 'check 'delete-failing-tests-post - (lambda _ - (with-directory-excursion "packages" - (for-each delete-file-recursively - '("http" - "pengines" - "RDF" - "semweb" - "ssl"))) #t))))) (native-inputs `(("zlib" ,zlib) |