From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([209.51.188.92]:60054) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1h4n3q-0007Gr-4s for guix-patches@gnu.org; Fri, 15 Mar 2019 09:39:48 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1h4moc-0001YK-GO for guix-patches@gnu.org; Fri, 15 Mar 2019 09:24:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:59154) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1h4moc-0001Y9-AI for guix-patches@gnu.org; Fri, 15 Mar 2019 09:24:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1h4moc-0002tN-16 for guix-patches@gnu.org; Fri, 15 Mar 2019 09:24:02 -0400 Subject: [bug#34868] [PATCH] gnu: coq-flocq: remove unnecessary return values Resent-Message-ID: Received: from eggs.gnu.org ([209.51.188.92]:56405) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1h4mnb-0003hs-7A for guix-patches@gnu.org; Fri, 15 Mar 2019 09:23:01 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1h4mna-00018i-By for guix-patches@gnu.org; Fri, 15 Mar 2019 09:22:59 -0400 Received: from zaai.science.ru.nl ([131.174.30.45]:40166) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1h4mnZ-00017y-Uy for guix-patches@gnu.org; Fri, 15 Mar 2019 09:22:58 -0400 Received: from smtp2.science.ru.nl (smtp2.science.ru.nl [131.174.16.145]) by zaai.science.ru.nl (8.15.2/5.32) with ESMTP id x2FCGX29021651 for ; Fri, 15 Mar 2019 13:16:33 +0100 From: Dan Frumin Date: Fri, 15 Mar 2019 13:16:24 +0100 Message-Id: <20190315121624.3818-1-dfrumin@cs.ru.nl> List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: 34868@debbugs.gnu.org Cc: Dan Frumin --- gnu/packages/coq.scm | 9 +++------ 1 file 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 -- 2.17.1