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

gnu: coq-flocq: Update phase style. 

* gnu/packages/ocaml.scm (coq-flocq)[arguments]: Substitute INVOKE for
SYSTEM* and end all phases with an explicit #t.
This commit is contained in:
Tobias Geerinckx-Rice 2018-03-20 17:49:01 +01:00
parent 324f192700
commit 8abbe5dc82
No known key found for this signature in database
GPG Key ID: 0DB0FF884F556D79
1 changed files with 9 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
gnu/packages/ocaml.scm
View File

@ -3890,18 +3890,22 @@ cross-platform SDL C library.")
(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 _
(zero? (system* "./remake")))) (invoke "./remake")
#t))
(replace 'check (replace 'check
(lambda _ (lambda _
(zero? (system* "./remake" "check")))) (invoke "./remake" "check")
#t))
;; TODO: requires coq-gappa and coq-interval. ;; TODO: requires coq-gappa and coq-interval.
;(zero? (system* "./remake" "check-more")))) ;(invoke "./remake" "check-more")
(replace 'install (replace 'install
(lambda _ (lambda _
(zero? (system* "./remake" "install"))))))) (invoke "./remake" "install")
#t)))))
(home-page "http://flocq.gforge.inria.fr/") (home-page "http://flocq.gforge.inria.fr/")
(synopsis "Floating-point formalization for the Coq system") (synopsis "Floating-point formalization for the Coq system")
(description "Flocq (Floats for Coq) is a floating-point formalization for (description "Flocq (Floats for Coq) is a floating-point formalization for