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

gnu: coq: Update to 8.5pl2.

Browse source 
* gnu/packages/ocaml.scm (coq): Update to 8.5pl2.
  [arguments]: Configure script takes single hyphen arguments.
This commit is contained in:
David Craven 2016-11-05 19:01:38 +01:00
parent 60bc622b1d
commit 2694d1dc80
No known key found for this signature in database
GPG key ID: C5E051C79C0BECDB
1 changed files with 17 additions and 17 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

34
gnu/packages/ocaml.scm
View file

@ -329,14 +329,14 @@ (define-public hevea
(define-public coq (define-public coq
(package (package
(name "coq") (name "coq")
(version "8.4pl6") (version "8.5pl2")
(source (origin (source (origin
(method url-fetch) (method url-fetch)
(uri (string-append "https://coq.inria.fr/distrib/V" version (uri (string-append "https://coq.inria.fr/distrib/V" version
"/files/" name "-" version ".tar.gz")) "/files/" name "-" version ".tar.gz"))
(sha256 (sha256
(base32 (base32
"1mpbj4yf36kpjg2v2sln12i8dzqn8rag6fd07hslj2lpm4qs4h55")))) "0wyywia0darak2zmc5v0ra9rn0b9whwdfiahralm8v5za499s8w3"))))
(build-system gnu-build-system) (build-system gnu-build-system)
(native-inputs (native-inputs
`(("texlive" ,texlive) `(("texlive" ,texlive)
@ -348,24 +348,24 @@ (define-public coq
`(#:phases `(#:phases
(modify-phases %standard-phases (modify-phases %standard-phases
(replace 'configure (replace 'configure
(lambda* (#:key outputs #:allow-other-keys) (lambda* (#:key outputs #:allow-other-keys)
(let* ((out (assoc-ref outputs "out")) (let* ((out (assoc-ref outputs "out"))
(mandir (string-append out "/share/man")) (mandir (string-append out "/share/man"))
(browser "icecat -remote \"OpenURL(%s,new-tab)\"")) (browser "icecat -remote \"OpenURL(%s,new-tab)\""))
(zero? (system* "./configure" (zero? (system* "./configure"
"--prefix" out "-prefix" out
"--mandir" mandir "-mandir" mandir
"--browser" browser))))) "-browser" browser)))))
(replace 'build (replace 'build
(lambda _ (lambda _
(zero? (system* "make" "-j" (number->string (zero? (system* "make" "-j" (number->string
(parallel-job-count)) (parallel-job-count))
"world")))) "world"))))
(delete 'check) (delete 'check)
(add-after 'install 'check (add-after 'install 'check
(lambda _ (lambda _
(with-directory-excursion "test-suite" (with-directory-excursion "test-suite"
(zero? (system* "make")))))))) (zero? (system* "make"))))))))
(home-page "https://coq.inria.fr") (home-page "https://coq.inria.fr")
(synopsis "Proof assistant for higher-order logic") (synopsis "Proof assistant for higher-order logic")
(description (description