ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-11-07 15:36:20 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: why3: Update to 1.4.0.

Browse source 
* gnu/packages/maths.scm (why3): Update to 1.4.0.
This commit is contained in:
Julien Lepiller 2021-10-08 03:47:21 +02:00
parent 24fba107d1
commit 26dd2321fe
No known key found for this signature in database
GPG key ID: 53D457B2D636EE82
1 changed files with 13 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
gnu/packages/maths.scm
View file

@ -6903,17 +6903,21 @@ (define-public numdiff
(define-public why3 (define-public why3
(package (package
(name "why3") (name "why3")
(version "1.3.3") (version "1.4.0")
(source (origin (source (origin
(method url-fetch) (method git-fetch)
(uri (string-append "https://gforge.inria.fr/frs/download.php/file" (uri (git-reference
"/38367/why3-" version ".tar.gz")) (url "https://gitlab.inria.fr/why3/why3")
(commit version)))
(file-name (git-file-name name version))
(sha256 (sha256
(base32 (base32
"1n0a2nn1gnk0zg339lh698g4wpk7m8m1vyi2yvifd5adqvk4milw")))) "0pfsiddnk26f384wbazfpgzh1n1ibf3xq101q74mxvczi7z0a791"))))
(build-system ocaml-build-system) (build-system ocaml-build-system)
(native-inputs (native-inputs
`(("coq" ,coq) `(("autoconf" ,autoconf)
("automake" ,automake)
("coq" ,coq)
("ocaml" ,ocaml) ("ocaml" ,ocaml)
("which" ,which))) ("which" ,which)))
(propagated-inputs (propagated-inputs
@ -6929,10 +6933,12 @@ (define-public why3
(arguments (arguments
`(#:phases `(#:phases
(modify-phases %standard-phases (modify-phases %standard-phases
(add-before 'configure 'fix-configure (add-before 'configure 'bootstrap
(lambda _ (lambda _
(invoke "./autogen.sh")
(setenv "CONFIG_SHELL" (which "sh")) (setenv "CONFIG_SHELL" (which "sh"))
(substitute* "configure" (substitute* "configure"
(("#! /bin/sh") (string-append "#!" (which "sh")))
;; find ocaml-num in the correct directory ;; find ocaml-num in the correct directory
(("\\$DIR/nums.cma") "$DIR/num.cma") (("\\$DIR/nums.cma") "$DIR/num.cma")
(("\\$DIR/num.cmi") "$DIR/core/num.cmi")) (("\\$DIR/num.cmi") "$DIR/core/num.cmi"))