ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-12-25 22:08:16 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: why3: Update to 1.3.3.

Browse source 
* gnu/packages/maths.scm (why3): Update to 1.3.3.
[arguments]: Adjust for newer ocaml-num.
This commit is contained in:
Julien Lepiller 2021-06-20 12:59:56 +02:00
parent 0bfafa49fa
commit 6e6769dde0
No known key found for this signature in database
GPG key ID: 53D457B2D636EE82
1 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
gnu/packages/maths.scm
View file

@ -6289,14 +6289,14 @@ (define-public numdiff
(define-public why3 (define-public why3
(package (package
(name "why3") (name "why3")
(version "1.3.1") (version "1.3.3")
(source (origin (source (origin
(method url-fetch) (method url-fetch)
(uri (string-append "https://gforge.inria.fr/frs/download.php/file" (uri (string-append "https://gforge.inria.fr/frs/download.php/file"
"/38291/why3-" version ".tar.gz")) "/38367/why3-" version ".tar.gz"))
(sha256 (sha256
(base32 (base32
"16zcrc60zz2j3gd3ww93z2z9x2jkxb3kr57y8i5rcgmacy7mw3bv")))) "1n0a2nn1gnk0zg339lh698g4wpk7m8m1vyi2yvifd5adqvk4milw"))))
(build-system ocaml-build-system) (build-system ocaml-build-system)
(native-inputs (native-inputs
`(("coq" ,coq) `(("coq" ,coq)
@ -6320,8 +6320,8 @@ (define-public why3
(setenv "CONFIG_SHELL" (which "sh")) (setenv "CONFIG_SHELL" (which "sh"))
(substitute* "configure" (substitute* "configure"
;; find ocaml-num in the correct directory ;; find ocaml-num in the correct directory
(("\\$DIR/nums.cma") "$DIR/../nums.cma") (("\\$DIR/nums.cma") "$DIR/num.cma")
(("\\$DIR/num.cmi") "$DIR/../num.cmi")) (("\\$DIR/num.cmi") "$DIR/core/num.cmi"))
#t)) #t))
(add-after 'configure 'fix-makefile (add-after 'configure 'fix-makefile
(lambda _ (lambda _