mirror of
https://git.in.rschanz.org/ryan77627/guix.git
synced 2024-12-25 05:48:07 -05:00
gnu: proof-general: Update to 4.4.
* gnu/packages/coq.scm (proof-general): Update to 4.4. [source]: Change to GIT-FETCH. [arguments]: Remove obsolete substitutions. Signed-off-by: Marius Bakke <mbakke@fastmail.com>
This commit is contained in:
parent
a6ac679f0a
commit
5bd5d6ef2d
1 changed files with 8 additions and 10 deletions
|
@ -132,15 +132,17 @@ (define-public coq
|
||||||
(define-public proof-general
|
(define-public proof-general
|
||||||
(package
|
(package
|
||||||
(name "proof-general")
|
(name "proof-general")
|
||||||
(version "4.2")
|
(version "4.4")
|
||||||
(source (origin
|
(source (origin
|
||||||
(method url-fetch)
|
(method git-fetch)
|
||||||
(uri (string-append
|
(uri (git-reference
|
||||||
"http://proofgeneral.inf.ed.ac.uk/releases/"
|
(url (string-append
|
||||||
"ProofGeneral-" version ".tgz"))
|
"https://github.com/ProofGeneral/PG"))
|
||||||
|
(commit (string-append "v" version))))
|
||||||
|
(file-name (git-file-name name version))
|
||||||
(sha256
|
(sha256
|
||||||
(base32
|
(base32
|
||||||
"09qb0myq66fw17v4ziz401ilsb5xlxz1nl2wsp69d0vrfy0bcrrm"))))
|
"0bdfk91wf71z80mdfnl8hpinripndcjgdkz854zil6521r84nqk8"))))
|
||||||
(build-system gnu-build-system)
|
(build-system gnu-build-system)
|
||||||
(native-inputs
|
(native-inputs
|
||||||
`(("which" ,which)
|
`(("which" ,which)
|
||||||
|
@ -175,10 +177,6 @@ (define-public proof-general
|
||||||
(emacs (assoc-ref inputs "host-emacs")))
|
(emacs (assoc-ref inputs "host-emacs")))
|
||||||
(define (coq-prog name)
|
(define (coq-prog name)
|
||||||
(string-append coq "/bin/" name))
|
(string-append coq "/bin/" name))
|
||||||
(emacs-substitute-variables "coq/coq.el"
|
|
||||||
("coq-prog-name" (coq-prog "coqtop"))
|
|
||||||
("coq-compiler" (coq-prog "coqc"))
|
|
||||||
("coq-dependency-analyzer" (coq-prog "coqdep")))
|
|
||||||
(substitute* "Makefile"
|
(substitute* "Makefile"
|
||||||
(("/sbin/install-info") "install-info"))
|
(("/sbin/install-info") "install-info"))
|
||||||
(substitute* "bin/proofgeneral"
|
(substitute* "bin/proofgeneral"
|
||||||
|
|
Loading…
Reference in a new issue