me
/
guix
Archived
1
0
Fork 0
Code

gnu: coq: Update to 8.10.2. 

* gnu/packages/coq.scm (coq): Update to 8.10.2.
[inputs]: Replace lablgtk with lablgtk3.
[arguments]: Remove remove-lablgtk-references phase, as it no longer appears
to be necessary.
master
Brett Gilio 2020-01-06 01:32:09 -06:00
parent d977e24364
commit 1ac4004502
No known key found for this signature in database
GPG Key ID: 672243C4A03F0EEE
1 changed files with 4 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
gnu/packages/coq.scm
View File

@ -44,7 +44,7 @@
(define-public coq (define-public coq
(package (package
(name "coq") (name "coq")
(version "8.9.1") (version "8.10.2")
(source (source
(origin (origin
(method git-fetch) (method git-fetch)
@ -53,7 +53,8 @@
(commit (string-append "V" version)))) (commit (string-append "V" version))))
(file-name (git-file-name name version)) (file-name (git-file-name name version))
(sha256 (sha256
(base32 "1p4z967s18wkblayv12ygqsrqlyk5ax1pz40yf4kag8pva6gblhk")))) (base32
"0ji2rzd70b3hcwfw97qk7rv3m2977ylqnq82l1555dp3njr8nm3q"))))
(native-search-paths (native-search-paths
(list (search-path-specification (list (search-path-specification
(variable "COQPATH") (variable "COQPATH")
@ -61,7 +62,7 @@
(build-system ocaml-build-system) (build-system ocaml-build-system)
(outputs '("out" "ide")) (outputs '("out" "ide"))
(inputs (inputs
`(("lablgtk" ,lablgtk) `(("lablgtk" ,lablgtk3)
("python" ,python-2) ("python" ,python-2)
("camlp5" ,camlp5) ("camlp5" ,camlp5)
("ocaml-num" ,ocaml-num))) ("ocaml-num" ,ocaml-num)))
@ -74,13 +75,6 @@
(lambda _ (lambda _
(for-each make-file-writable (find-files ".")) (for-each make-file-writable (find-files "."))
#t)) #t))
(add-after 'unpack 'remove-lablgtk-references
(lambda _
;; This is not used anywhere, but creates a reference to lablgtk in
;; every binary
(substitute* '("config/coq_config.mli" "configure.ml")
((".*coqideincl.*") ""))
#t))
(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"))