me/guix
Archived
1
0
Fork 0
Code Activity

gnu: coq-mathcomp: Adjust '#:make-flags'.

Browse source 
* gnu/packages/coq.scm (coq-mathcomp)[arguments]<#:make-flags>: Set install
destination.
<#:phases>: Remove replace 'install.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
This commit is contained in:
zimoun 2021-11-16 19:51:51 +01:00 • committed by Julien Lepiller
parent 2d60af4d6d
commit 7b93c6d777
No known key found for this signature in database
GPG key ID: 53D457B2D636EE82
1 changed files with 4 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
gnu/packages/coq.scm
View file

@ -326,17 +326,14 @@ assistant.")
("coq" ,coq))) ("coq" ,coq)))
(arguments (arguments
`(#:tests? #f ; No tests. `(#:tests? #f ; No tests.
#:make-flags (list (string-append "COQLIBINSTALL="
(assoc-ref %outputs "out")
"/lib/coq/user-contrib"))
#:phases #:phases
(modify-phases %standard-phases (modify-phases %standard-phases
(delete 'configure) (delete 'configure)
(add-before 'build 'chdir (add-before 'build 'chdir
(lambda _ (chdir "mathcomp") #t)) (lambda _ (chdir "mathcomp") #t)))))
(replace 'install
(lambda* (#:key outputs #:allow-other-keys)
(invoke "make" "-f" "Makefile.coq"
(string-append "COQLIB=" (assoc-ref outputs "out")
"/lib/coq/")
"install"))))))
(home-page "https://math-comp.github.io/") (home-page "https://math-comp.github.io/")
(synopsis "Mathematical Components for Coq") (synopsis "Mathematical Components for Coq")
(description "Mathematical Components for Coq has its origins in the formal (description "Mathematical Components for Coq has its origins in the formal