From 8abbe5dc8232bb244bb3f615130d2d5d60911778 Mon Sep 17 00:00:00 2001 From: Tobias Geerinckx-Rice Date: Tue, 20 Mar 2018 17:49:01 +0100 Subject: 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. --- gnu/packages/ocaml.scm | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) (limited to 'gnu/packages/ocaml.scm') diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 9346012390..a831036fa3 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3890,18 +3890,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 -- cgit v1.2.3 From dd8237b6c3012b8576e19631a4c11484d0ee9cfa Mon Sep 17 00:00:00 2001 From: Tobias Geerinckx-Rice Date: Thu, 22 Mar 2018 15:17:11 +0100 Subject: gnu: coq-flocq: Use predictable source URI. * gnu/packages/ocaml.scm (coq-flocq)[source]: Use predictable URI. --- gnu/packages/ocaml.scm | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'gnu/packages/ocaml.scm') diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index a831036fa3..00d1d1c56a 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3871,8 +3871,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")))) -- cgit v1.2.3