ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2025-01-12 22:26:40 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: coq-equations: Update to 1.2.1.

Browse source 
* gnu/packages/coq.scm (coq-equations): Update to 1.2.1.
[arguments]: Replace configure phase to run configure shell script. Remove
redundant COQLIB.
This commit is contained in:
Brett Gilio 2020-01-06 02:20:41 -06:00
parent 8f1216552c
commit cd5406effa
No known key found for this signature in database
GPG key ID: 672243C4A03F0EEE
1 changed files with 4 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
gnu/packages/coq.scm
View file

@ -549,16 +549,16 @@ (define-public coq-autosubst
(define-public coq-equations (define-public coq-equations
(package (package
(name "coq-equations") (name "coq-equations")
(version "1.2") (version "1.2.1")
(source (origin (source (origin
(method git-fetch) (method git-fetch)
(uri (git-reference (uri (git-reference
(url "https://github.com/mattam82/Coq-Equations.git") (url "https://github.com/mattam82/Coq-Equations.git")
(commit (string-append "v" version "-8.9")))) (commit (string-append "v" version "-8.10"))))
(file-name (git-file-name name version)) (file-name (git-file-name name version))
(sha256 (sha256
(base32 (base32
"1q3wvicr43bgy7xn1diwh4j43mnrhprrc2xd22qlbz9cl6bhf8bj")))) "023q5dww3drw35dm9bi9p9d0wrj9k7vax7hfdsprf8l340pb4s0k"))))
(build-system gnu-build-system) (build-system gnu-build-system)
(native-inputs (native-inputs
`(("ocaml" ,ocaml) `(("ocaml" ,ocaml)
@ -570,10 +570,9 @@ (define-public coq-equations
(modify-phases %standard-phases (modify-phases %standard-phases
(replace 'configure (replace 'configure
(lambda* (#:key outputs #:allow-other-keys) (lambda* (#:key outputs #:allow-other-keys)
(invoke "coq_makefile" "-f" "_CoqProject" "-o" "Makefile"))) (invoke "sh" "./configure.sh")))
(replace 'install (replace 'install
(lambda* (#:key outputs #:allow-other-keys) (lambda* (#:key outputs #:allow-other-keys)
(setenv "COQLIB" (string-append (assoc-ref outputs "out") "/lib/coq/"))
(invoke "make" (invoke "make"
(string-append "COQLIB=" (assoc-ref outputs "out") (string-append "COQLIB=" (assoc-ref outputs "out")
"/lib/coq/") "/lib/coq/")