me/guix
Archived
1
0
Fork 0
Code Activity

gnu: coq-coquelicot: Use INVOKE.

Browse source 
* gnu/packages/coq.scm (coq-coquelicot)[arguments]: Use INVOKE.
This commit is contained in:
Ricardo Wurmus 2019-01-25 11:39:57 +01:00
parent 1530b17aa1
commit e09e83880f
No known key found for this signature in database
GPG key ID: 197A5888235FACAC
1 changed files with 5 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
gnu/packages/coq.scm
View file

@ -347,16 +347,14 @@ part of the distribution.")
(add-before 'configure 'fix-remake (add-before 'configure 'fix-remake
(lambda _ (lambda _
(substitute* "remake.cpp" (substitute* "remake.cpp"
(("/bin/sh") (which "sh"))))) (("/bin/sh") (which "sh")))
#t))
(replace 'build (replace 'build
(lambda _ (lambda _ (invoke "./remake")))
(zero? (system* "./remake"))))
(replace 'check (replace 'check
(lambda _ (lambda _ (invoke "./remake" "check")))
(zero? (system* "./remake" "check"))))
(replace 'install (replace 'install
(lambda _ (lambda _ (invoke "./remake" "install"))))))
(zero? (system* "./remake" "install")))))))
(home-page "http://coquelicot.saclay.inria.fr/index.html") (home-page "http://coquelicot.saclay.inria.fr/index.html")
(synopsis "Coq library for Reals") (synopsis "Coq library for Reals")
(description "Coquelicot is an easier way of writing formulas and theorem (description "Coquelicot is an easier way of writing formulas and theorem