summaryrefslogtreecommitdiff
path: root/gnu/packages/prolog.scm
diff options
context:
space:
mode:
authorBrett Gilio <brettg@gnu.org>2020-07-18 23:38:10 -0500
committerBrett Gilio <brettg@gnu.org>2020-07-18 23:38:10 -0500
commitd37eb6bb20069464e3a82d15a350084b457c12f6 (patch)
tree47b17eaaa4b335c7b08c6c89907fd4065308cba9 /gnu/packages/prolog.scm
parent282ca4a135919b324d447a5e1f643fce4cc17da5 (diff)
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.scm22
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)