nixo
/
guix-devel
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

gnu: coq-gappa: Use INVOKE. 

* gnu/packages/coq.scm (coq-gappa)[arguments]: Unconditionally return #T from
build phases by using INVOKE.
This commit is contained in:
Ricardo Wurmus 2019-01-25 09:26:29 +01:00
parent a48d6acc23
commit ace73a93cd
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

@ -254,16 +254,14 @@ inside Coq.")
(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://gappa.gforge.inria.fr/") (home-page "http://gappa.gforge.inria.fr/")
(synopsis "Verify and formally prove properties on numerical programs") (synopsis "Verify and formally prove properties on numerical programs")
(description "Gappa is a tool intended to help verifying and formally proving (description "Gappa is a tool intended to help verifying and formally proving