gnu: coq-interval: Use INVOKE.

* gnu/packages/coq.scm (coq-interval)[arguments]: Use INVOKE.
This commit is contained in:
Ricardo Wurmus 2019-01-25 11:43:42 +01:00
parent e09e83880f
commit 7492af9be7
No known key found for this signature in database
GPG Key ID: 197A5888235FACAC
1 changed files with 5 additions and 7 deletions

View File

@ -430,16 +430,14 @@ provides BigN, BigZ, BigQ that used to be part of Coq standard library.")
(add-before 'configure 'fix-remake
(lambda _
(substitute* "remake.cpp"
(("/bin/sh") (which "sh")))))
(("/bin/sh") (which "sh")))
#t))
(replace 'build
(lambda _
(zero? (system* "./remake"))))
(lambda _ (invoke "./remake")))
(replace 'check
(lambda _
(zero? (system* "./remake" "check"))))
(lambda _ (invoke "./remake" "check")))
(replace 'install
(lambda _
(zero? (system* "./remake" "install")))))))
(lambda _ (invoke "./remake" "install"))))))
(home-page "http://coq-interval.gforge.inria.fr/")
(synopsis "Coq tactics to simplify inequality proofs")
(description "Interval provides vernacular files containing tactics for