diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2018-03-29 17:34:41 +0200 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2018-03-29 17:34:41 +0200 |
| commit | 5576cfabf3485e0cf794cc3de085a3578151ee64 (patch) | |
| tree | 8ca4093d05fda6b0064d0fca429353327ec491f9 /gnu/packages/ocaml.scm | |
| parent | 12cb6c31df4b90d58658e88a256e36b6808e1064 (diff) | |
| parent | e086d2f68b90a39bae07ae46572e5cc6b0fc4308 (diff) | |
| download | patches-5576cfabf3485e0cf794cc3de085a3578151ee64.tar patches-5576cfabf3485e0cf794cc3de085a3578151ee64.tar.gz | |
Merge branch 'master' into core-updates
Diffstat (limited to 'gnu/packages/ocaml.scm')
| -rw-r--r-- | gnu/packages/ocaml.scm | 19 |
1 files changed, 12 insertions, 7 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 5f67aa62aa..0fdad6a34f 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3875,8 +3875,9 @@ cross-platform SDL C library.") (version "2.6.0") (source (origin (method url-fetch) - (uri (string-append "https://gforge.inria.fr/frs/download.php/file" - "/37054/flocq-" version ".tar.gz")) + ;; Use the ‘Latest version’ link for a stable URI across releases. + (uri (string-append "https://gforge.inria.fr/frs/download.php/" + "latestfile/2228/flocq-" version ".tar.gz")) (sha256 (base32 "13fv150dcwnjrk00d7zj2c5x9jwmxgrq0ay440gkr730l8mvk3l3")))) @@ -3894,18 +3895,22 @@ cross-platform SDL C 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")))) + (invoke "./remake") + #t)) (replace 'check (lambda _ - (zero? (system* "./remake" "check")))) + (invoke "./remake" "check") + #t)) ;; TODO: requires coq-gappa and coq-interval. - ;(zero? (system* "./remake" "check-more")))) + ;(invoke "./remake" "check-more") (replace 'install (lambda _ - (zero? (system* "./remake" "install"))))))) + (invoke "./remake" "install") + #t))))) (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 |