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.
This commit is contained in:
parent
282ca4a135
commit
d37eb6bb20
@ -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)
|
||||
|
Loading…
Reference in New Issue
Block a user