diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2019-03-21 23:18:54 +0100 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2019-03-21 23:18:54 +0100 |
| commit | 081850816f98c7f5d815ac7251c69bf2ada50cc0 (patch) | |
| tree | 609b7e9e9c267e8c382bdebf8295b9f45bab6cc4 /gnu/packages/coq.scm | |
| parent | 792d526a256773d1abe00b73c2a2131037148139 (diff) | |
| parent | 93f178b5a84a8cc5a0c552290191efd2310588b5 (diff) | |
| download | gnu-guix-081850816f98c7f5d815ac7251c69bf2ada50cc0.tar gnu-guix-081850816f98c7f5d815ac7251c69bf2ada50cc0.tar.gz | |
Merge branch 'master' into staging
Diffstat (limited to 'gnu/packages/coq.scm')
| -rw-r--r-- | gnu/packages/coq.scm | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index 83f5cd29af..bdf1576400 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -211,18 +211,15 @@ provers.") #t)) (replace 'build (lambda _ - (invoke "./remake") - #t)) + (invoke "./remake"))) (replace 'check (lambda _ - (invoke "./remake" "check") - #t)) + (invoke "./remake" "check"))) ;; TODO: requires coq-gappa and coq-interval. ;(invoke "./remake" "check-more") (replace 'install (lambda _ - (invoke "./remake" "install") - #t))))) + (invoke "./remake" "install")))))) (home-page "http://flocq.gforge.inria.fr/") (synopsis "Floating-point formalization for the Coq system") (description "Flocq (Floats for Coq) is a floating-point formalization for |