From patchwork Sat Jun 20 21:31:43 2020 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: =?utf-8?q?Maja_K=C4=85dzio=C5=82ka?= X-Patchwork-Id: 22808 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id AE06427BBE1; Sat, 20 Jun 2020 22:32:16 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.9 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI, RCVD_IN_MSPIKE_H4,RCVD_IN_MSPIKE_WL,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTP id BEBD827BBE4 for ; Sat, 20 Jun 2020 22:32:13 +0100 (BST) Received: from localhost ([::1]:55862 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jml5x-0007kO-80 for patchwork@mira.cbaines.net; Sat, 20 Jun 2020 17:32:13 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:57216) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jml5n-0007h4-3N for guix-patches@gnu.org; Sat, 20 Jun 2020 17:32:04 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:47310) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1jml5l-0005W3-RS for guix-patches@gnu.org; Sat, 20 Jun 2020 17:32:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1jml5l-00079E-O2 for guix-patches@gnu.org; Sat, 20 Jun 2020 17:32:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#41971] [PATCH 1/5] gnu: linbox: Fix linking of dependant packages. References: <20200620212802.31906-1-kuba@kadziolka.net> In-Reply-To: <20200620212802.31906-1-kuba@kadziolka.net> Resent-From: Jakub =?utf-8?b?S8SFZHppb8WCa2E=?= Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 20 Jun 2020 21:32:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 41971 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 41971@debbugs.gnu.org Received: via spool by 41971-submit@debbugs.gnu.org id=B41971.159268871327450 (code B ref 41971); Sat, 20 Jun 2020 21:32:01 +0000 Received: (at 41971) by debbugs.gnu.org; 20 Jun 2020 21:31:53 +0000 Received: from localhost ([127.0.0.1]:58852 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jml5b-00078Y-7e for submit@debbugs.gnu.org; Sat, 20 Jun 2020 17:31:53 -0400 Received: from pat.zlotemysli.pl ([37.59.186.212]:38826) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jml5W-00078N-Fr for 41971@debbugs.gnu.org; Sat, 20 Jun 2020 17:31:50 -0400 Received: (qmail 19961 invoked by uid 1009); 20 Jun 2020 23:31:45 +0200 Received: from 188.123.215.55 (kuba@kadziolka.net@188.123.215.55) by pat.zlotemysli.pl (envelope-from , uid 1002) with qmail-scanner-2.08st (clamdscan: 0.98.6/25848. spamassassin: 3.4.0. perlscan: 2.08st. Clear:RC:1(188.123.215.55):. Processed in 0.041647 secs); 20 Jun 2020 21:31:45 -0000 Received: from unknown (HELO localhost.localdomain) (kuba@kadziolka.net@188.123.215.55) by pat.zlotemysli.pl with AES256-SHA encrypted SMTP; 20 Jun 2020 23:31:45 +0200 From: Jakub =?utf-8?b?S8SFZHppb8WCa2E=?= Date: Sat, 20 Jun 2020 23:31:43 +0200 Message-Id: <20200620213143.1774-1-kuba@kadziolka.net> X-Mailer: git-send-email 2.26.2 MIME-Version: 1.0 X-Qmailux-2.08st: added fake Content-Type header X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * gnu/packages/algebra.scm (linbox)[source]: Add a patch. [inputs]: Move fflas-ffpack to... [propagated-inputs]: ...here. * gnu/packages/patches/linbox-fix-pkgconfig.patch: New file. * gnu/local.mk (dist_patch_DATA): Register it. --- gnu/local.mk | 1 + gnu/packages/algebra.scm | 5 ++-- .../patches/linbox-fix-pkgconfig.patch | 23 +++++++++++++++++++ 3 files changed, 27 insertions(+), 2 deletions(-) create mode 100644 gnu/packages/patches/linbox-fix-pkgconfig.patch diff --git a/gnu/local.mk b/gnu/local.mk index def87a4360..41b92e3830 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -1219,6 +1219,7 @@ dist_patch_DATA = \ %D%/packages/patches/lierolibre-newer-libconfig.patch \ %D%/packages/patches/lierolibre-remove-arch-warning.patch \ %D%/packages/patches/lierolibre-try-building-other-arch.patch \ + %D%/packages/patches/linbox-fix-pkgconfig.patch \ %D%/packages/patches/linkchecker-tests-require-network.patch \ %D%/packages/patches/linphoneqt-tabbutton.patch \ %D%/packages/patches/linux-libre-support-for-Pinebook-Pro.patch \ diff --git a/gnu/packages/algebra.scm b/gnu/packages/algebra.scm index f2138bbe4e..2244b7ac94 100644 --- a/gnu/packages/algebra.scm +++ b/gnu/packages/algebra.scm @@ -1323,14 +1323,15 @@ algebra, such as the row echelon form.") (file-name (git-file-name name version)) (sha256 (base32 - "10j6dspbsq7d2l4q3y0c1l1xwmaqqba2fxg59q5bhgk9h5d7q571")))) + "10j6dspbsq7d2l4q3y0c1l1xwmaqqba2fxg59q5bhgk9h5d7q571")) + (patches (search-patches "linbox-fix-pkgconfig.patch")))) (build-system gnu-build-system) (native-inputs `(("autoconf" ,autoconf) ("automake" ,automake) ("libtool" ,libtool) ("pkg-config" ,pkg-config))) - (inputs + (propagated-inputs `(("fflas-ffpack" ,fflas-ffpack))) (synopsis "C++ library for linear algebra over exact rings") (description diff --git a/gnu/packages/patches/linbox-fix-pkgconfig.patch b/gnu/packages/patches/linbox-fix-pkgconfig.patch new file mode 100644 index 0000000000..c93915fb1b --- /dev/null +++ b/gnu/packages/patches/linbox-fix-pkgconfig.patch @@ -0,0 +1,23 @@ +Backported from: + +From 426eb97ba762c7663884f57ead0909f2aa3cd6a5 Mon Sep 17 00:00:00 2001 +From: Cyril Bouvier +Date: Thu, 17 Jan 2019 16:32:19 +0100 +Subject: [PATCH] Remove @LINBOXSAGE_LIBS@ from linbox.pc.in + +--- + linbox.pc.in | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/linbox.pc.in b/linbox.pc.in +index 278f127e4..c6b8091eb 100644 +--- a/linbox.pc.in ++++ b/linbox.pc.in +@@ -9,6 +9,6 @@ Description: Exact Linear Algebra library + URL: http://github.com/linbox-team/linbox + Version: @VERSION@ + Requires: fflas-ffpack >= 2.4.0, givaro >= 4.1.0 +-Libs: -L${libdir} -llinbox @LINBOXSAGE_LIBS@ @NTL_LIBS@ @MPFR_LIBS@ @FPLLL_LIBS@ @IML_LIBS@ @FLINT_LIBS@ @OCL_LIBS@ ++Libs: -L${libdir} -llinbox @NTL_LIBS@ @MPFR_LIBS@ @FPLLL_LIBS@ @IML_LIBS@ @FLINT_LIBS@ @OCL_LIBS@ + Cflags: @DEFAULT_CFLAGS@ -DDISABLE_COMMENTATOR -I${includedir} @NTL_CFLAGS@ @MPFR_CFLAGS@ @FPLLL_CFLAGS@ @IML_CFLAGS@ @FLINT_CFLAGS@ + \------------------------------------------------------- From patchwork Sat Jun 20 21:31:50 2020 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: =?utf-8?q?Maja_K=C4=85dzio=C5=82ka?= X-Patchwork-Id: 22807 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id EC3A327BBE1; Sat, 20 Jun 2020 22:32:14 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.9 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI, RCVD_IN_MSPIKE_H4,RCVD_IN_MSPIKE_WL,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTP id C393427BBE3 for ; Sat, 20 Jun 2020 22:32:12 +0100 (BST) Received: from localhost ([::1]:55798 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jml5w-0007iV-9M for patchwork@mira.cbaines.net; Sat, 20 Jun 2020 17:32:12 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:57218) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jml5n-0007h5-3C for guix-patches@gnu.org; Sat, 20 Jun 2020 17:32:04 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:47311) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1jml5m-0005W7-9P for guix-patches@gnu.org; Sat, 20 Jun 2020 17:32:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1jml5m-00079L-6x for guix-patches@gnu.org; Sat, 20 Jun 2020 17:32:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#41971] [PATCH 2/5] gnu: sagemath: Remove unnecessary old versions of packages References: <20200620212802.31906-1-kuba@kadziolka.net> In-Reply-To: <20200620212802.31906-1-kuba@kadziolka.net> Resent-From: Jakub =?utf-8?b?S8SFZHppb8WCa2E=?= Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 20 Jun 2020 21:32:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 41971 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 41971@debbugs.gnu.org Received: via spool by 41971-submit@debbugs.gnu.org id=B41971.159268871427461 (code B ref 41971); Sat, 20 Jun 2020 21:32:02 +0000 Received: (at 41971) by debbugs.gnu.org; 20 Jun 2020 21:31:54 +0000 Received: from localhost ([127.0.0.1]:58855 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jml5e-00078q-BJ for submit@debbugs.gnu.org; Sat, 20 Jun 2020 17:31:54 -0400 Received: from pat.zlotemysli.pl ([37.59.186.212]:38852) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jml5c-00078a-Mg for 41971@debbugs.gnu.org; Sat, 20 Jun 2020 17:31:53 -0400 Received: (qmail 20035 invoked by uid 1009); 20 Jun 2020 23:31:51 +0200 Received: from 188.123.215.55 (kuba@kadziolka.net@188.123.215.55) by pat.zlotemysli.pl (envelope-from , uid 1002) with qmail-scanner-2.08st (clamdscan: 0.98.6/25848. spamassassin: 3.4.0. perlscan: 2.08st. Clear:RC:1(188.123.215.55):. Processed in 0.038363 secs); 20 Jun 2020 21:31:51 -0000 Received: from unknown (HELO localhost.localdomain) (kuba@kadziolka.net@188.123.215.55) by pat.zlotemysli.pl with AES256-SHA encrypted SMTP; 20 Jun 2020 23:31:51 +0200 From: Jakub =?utf-8?b?S8SFZHppb8WCa2E=?= Date: Sat, 20 Jun 2020 23:31:50 +0200 Message-Id: <20200620213150.2013-1-kuba@kadziolka.net> X-Mailer: git-send-email 2.26.2 MIME-Version: 1.0 X-Qmailux-2.08st: added fake Content-Type header X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches Sage has updated givaro, fflas-ffpack and linbox since the comment was written. * gnu/packages/sagemath.scm (givaro, fflas-ffpack, linbox): Remove variables. --- gnu/packages/sagemath.scm | 54 --------------------------------------- 1 file changed, 54 deletions(-) diff --git a/gnu/packages/sagemath.scm b/gnu/packages/sagemath.scm index b96cb6b96e..34fe9e524c 100644 --- a/gnu/packages/sagemath.scm +++ b/gnu/packages/sagemath.scm @@ -184,60 +184,6 @@ represented as strings.") (license license:public-domain) (home-page "https://github.com/miguelmarco/libhomfly"))) -;; The following three packages from the Linbox group are needed in -;; an outdated version for Sage. - -(define-public givaro-4.0.4 - (package (inherit givaro) - (name "givaro") - (version "4.0.4") - (source (origin - (method git-fetch) - (uri (git-reference - (url "https://github.com/linbox-team/givaro") - (commit (string-append "v" version)))) - (file-name (git-file-name name version)) - (sha256 - (base32 - "199p8wyj5i63jbnk7j8qbdbfp5rm2lpmcxyk3mdjy9bz7ygx3hhy")))))) - -(define-public fflas-ffpack-2.3.2 - (package (inherit fflas-ffpack) - (name "fflas-ffpack") - (version "2.3.2") - (source (origin - (method git-fetch) - (uri (git-reference - (url "https://github.com/linbox-team/fflas-ffpack") - (commit (string-append "v" version)))) - (file-name (git-file-name name version)) - (sha256 - (base32 - "1cqhassj2dny3gx0iywvmnpq8ca0d6m82xl5rz4mb8gaxr2kwddl")))) - (propagated-inputs - `(("givaro" ,givaro-4.0.4))) - ;; A test fails, but since all tests pass in the latest version, - ;; there is not much point in investigating. - (arguments - (substitute-keyword-arguments (package-arguments fflas-ffpack) - ((#:tests? _ #f) #f))))) - -(define-public linbox-1.5.2 - (package (inherit linbox) - (version "1.5.2") - (name "linbox") - (source (origin - (method git-fetch) - (uri (git-reference - (url "https://github.com/linbox-team/linbox") - (commit (string-append "v" version)))) - (file-name (git-file-name name version)) - (sha256 - (base32 - "1wfivlwp30mzdy1697w7rzb8caajim50mc8h27k82yipn2qc5n4i")))) - (inputs - `(("fflas-ffpack" ,fflas-ffpack-2.3.2))))) - (define-public pynac (package (name "pynac") From patchwork Sat Jun 20 21:31:58 2020 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: =?utf-8?q?Maja_K=C4=85dzio=C5=82ka?= X-Patchwork-Id: 22811 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id BB7E827BBE1; Sat, 20 Jun 2020 22:33:15 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.9 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI, RCVD_IN_MSPIKE_H4,RCVD_IN_MSPIKE_WL,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTP id 3501027BBE4 for ; Sat, 20 Jun 2020 22:33:09 +0100 (BST) Received: from localhost ([::1]:57504 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jml6q-0008T4-K5 for patchwork@mira.cbaines.net; Sat, 20 Jun 2020 17:33:08 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:57444) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jml6k-0008Sh-2Z for guix-patches@gnu.org; Sat, 20 Jun 2020 17:33:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:47320) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1jml6j-0005kM-Pp for guix-patches@gnu.org; Sat, 20 Jun 2020 17:33:01 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1jml6j-0007BR-NJ for guix-patches@gnu.org; Sat, 20 Jun 2020 17:33:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#41971] [PATCH 3/5] gnu: Add ECL 16.1.3 for Sage. References: <20200620212802.31906-1-kuba@kadziolka.net> In-Reply-To: <20200620212802.31906-1-kuba@kadziolka.net> Resent-From: Jakub =?utf-8?b?S8SFZHppb8WCa2E=?= Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 20 Jun 2020 21:33:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 41971 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 41971@debbugs.gnu.org Received: via spool by 41971-submit@debbugs.gnu.org id=B41971.159268873027522 (code B ref 41971); Sat, 20 Jun 2020 21:33:01 +0000 Received: (at 41971) by debbugs.gnu.org; 20 Jun 2020 21:32:10 +0000 Received: from localhost ([127.0.0.1]:58860 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jml5n-00079j-Jd for submit@debbugs.gnu.org; Sat, 20 Jun 2020 17:32:09 -0400 Received: from pat.zlotemysli.pl ([37.59.186.212]:38856) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jml5k-000794-20 for 41971@debbugs.gnu.org; Sat, 20 Jun 2020 17:32:02 -0400 Received: (qmail 20099 invoked by uid 1009); 20 Jun 2020 23:31:59 +0200 Received: from 188.123.215.55 (kuba@kadziolka.net@188.123.215.55) by pat.zlotemysli.pl (envelope-from , uid 1002) with qmail-scanner-2.08st (clamdscan: 0.98.6/25848. spamassassin: 3.4.0. perlscan: 2.08st. Clear:RC:1(188.123.215.55):. Processed in 0.054335 secs); 20 Jun 2020 21:31:59 -0000 Received: from unknown (HELO localhost.localdomain) (kuba@kadziolka.net@188.123.215.55) by pat.zlotemysli.pl with AES256-SHA encrypted SMTP; 20 Jun 2020 23:31:59 +0200 From: Jakub =?utf-8?b?S8SFZHppb8WCa2E=?= Date: Sat, 20 Jun 2020 23:31:58 +0200 Message-Id: <20200620213158.2253-1-kuba@kadziolka.net> X-Mailer: git-send-email 2.26.2 MIME-Version: 1.0 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches * gnu/packages/sagemath.scm (ecl-16): New variable. * gnu/packages/patches/ecl-16-format-directive-limit.patch, gnu/packages/patches/ecl-16-ignore-stderr-write-error.patch, gnu/packages/patches/ecl-16-libffi.patch: New files. * gnu/local.mk (dist_patch_DATA): Register the patches. --- gnu/local.mk | 3 + .../ecl-16-format-directive-limit.patch | 83 +++++++++++++++++++ .../ecl-16-ignore-stderr-write-error.patch | 17 ++++ gnu/packages/patches/ecl-16-libffi.patch | 16 ++++ gnu/packages/sagemath.scm | 23 +++++ 5 files changed, 142 insertions(+) create mode 100644 gnu/packages/patches/ecl-16-format-directive-limit.patch create mode 100644 gnu/packages/patches/ecl-16-ignore-stderr-write-error.patch create mode 100644 gnu/packages/patches/ecl-16-libffi.patch diff --git a/gnu/local.mk b/gnu/local.mk index 41b92e3830..486e7aa8cc 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -881,6 +881,9 @@ dist_patch_DATA = \ %D%/packages/patches/dstat-skip-devices-without-io.patch \ %D%/packages/patches/dune-istl-2.7-fix-non-mpi-tests.patch \ %D%/packages/patches/dvd+rw-tools-add-include.patch \ + %D%/packages/patches/ecl-16-format-directive-limit.patch \ + %D%/packages/patches/ecl-16-ignore-stderr-write-error.patch \ + %D%/packages/patches/ecl-16-libffi.patch \ %D%/packages/patches/eigen-stabilise-sparseqr-test.patch \ %D%/packages/patches/einstein-build.patch \ %D%/packages/patches/elfutils-tests-ptrace.patch \ diff --git a/gnu/packages/patches/ecl-16-format-directive-limit.patch b/gnu/packages/patches/ecl-16-format-directive-limit.patch new file mode 100644 index 0000000000..237db92722 --- /dev/null +++ b/gnu/packages/patches/ecl-16-format-directive-limit.patch @@ -0,0 +1,83 @@ +Patch backported by Sage. + +Fix from upstream that happens to work around +https://trac.sagemath.org/ticket/23011 +diff --git a/src/lsp/format.lsp b/src/lsp/format.lsp +index 77ca799..53b887c 100644 +--- a/src/lsp/format.lsp ++++ b/src/lsp/format.lsp +@@ -307,11 +307,13 @@ + :start (format-directive-start struct) + :end (format-directive-end struct)))) + ++(defconstant +format-directive-limit+ (1+ (char-code #\~))) ++ + #+formatter + (defparameter *format-directive-expanders* +- (make-array char-code-limit :initial-element nil)) ++ (make-array +format-directive-limit+ :initial-element nil)) + (defparameter *format-directive-interpreters* +- (make-array char-code-limit :initial-element nil)) ++ (make-array +format-directive-limit+ :initial-element nil)) + + (defparameter *default-format-error-control-string* nil) + (defparameter *default-format-error-offset* nil) +@@ -550,24 +552,24 @@ + (write-string directive stream) + (interpret-directive-list stream (cdr directives) orig-args args)) + (#-ecl format-directive #+ecl vector ++ (multiple-value-bind ++ (new-directives new-args) ++ (let* ((code (char-code (format-directive-character directive))) ++ (function ++ (and (< code +format-directive-limit+) ++ (svref *format-directive-interpreters* code))) ++ (*default-format-error-offset* ++ (1- (format-directive-end directive)))) ++ (unless function ++ (error 'format-error ++ :complaint "Unknown format directive.")) + (multiple-value-bind + (new-directives new-args) +- (let ((function +- (svref *format-directive-interpreters* +- (char-code (format-directive-character +- directive)))) +- (*default-format-error-offset* +- (1- (format-directive-end directive)))) +- (unless function +- (error 'format-error +- :complaint "Unknown format directive.")) +- (multiple-value-bind +- (new-directives new-args) +- (funcall function stream directive +- (cdr directives) orig-args args) +- (values new-directives new-args))) +- (interpret-directive-list stream new-directives +- orig-args new-args))))) ++ (funcall function stream directive ++ (cdr directives) orig-args args) ++ (values new-directives new-args))) ++ (interpret-directive-list stream new-directives ++ orig-args new-args))))) + args)) + + +@@ -639,11 +641,12 @@ + (values `(write-string ,directive stream) + more-directives)) + (format-directive +- (let ((expander +- (aref *format-directive-expanders* +- (char-code (format-directive-character directive)))) +- (*default-format-error-offset* +- (1- (format-directive-end directive)))) ++ (let* ((code (char-code (format-directive-character directive))) ++ (expander ++ (and (< code +format-directive-limit+) ++ (svref *format-directive-expanders* code))) ++ (*default-format-error-offset* ++ (1- (format-directive-end directive)))) + (if expander + (funcall expander directive more-directives) + (error 'format-error diff --git a/gnu/packages/patches/ecl-16-ignore-stderr-write-error.patch b/gnu/packages/patches/ecl-16-ignore-stderr-write-error.patch new file mode 100644 index 0000000000..42d213c0e9 --- /dev/null +++ b/gnu/packages/patches/ecl-16-ignore-stderr-write-error.patch @@ -0,0 +1,17 @@ +Patch adapted from Sage. +diff -Naur ecl-16.1.2.orig/src/c/file.d ecl-16.1.2/src/c/file.d +--- ecl-16.1.2.orig/src/c/file.d 2016-05-11 13:10:51.867673867 +1200 ++++ ecl-16.1.2/src/c/file.d 2016-05-11 14:44:48.121907307 +1200 +@@ -3354,8 +3354,10 @@ + ecl_disable_interrupts(); + do { + out = fwrite(c, sizeof(char), n, IO_STREAM_FILE(strm)); +- } while (out < n && restartable_io_error(strm, "fwrite")); +- ecl_enable_interrupts(); ++ /* Ignore write errors to stderr to avoid an infinite loop */ ++ } while (out < n && (IO_STREAM_FILE(strm) != stderr) && restartable_io_error(strm, "fwrite")); ++ ++ ecl_enable_interrupts(); + return out; + } + diff --git a/gnu/packages/patches/ecl-16-libffi.patch b/gnu/packages/patches/ecl-16-libffi.patch new file mode 100644 index 0000000000..fc06a07606 --- /dev/null +++ b/gnu/packages/patches/ecl-16-libffi.patch @@ -0,0 +1,16 @@ +Patch adapted from Sage. Allows building ECL on libffi 3.3. +diff --git a/src/c/ffi.d b/src/c/ffi.d +index 8861303e..8a959c23 100644 +--- a/src/c/ffi.d ++++ b/src/c/ffi.d +@@ -133,8 +133,8 @@ static struct { + #elif defined(X86_WIN64) + {@':win64', FFI_WIN64}, + #elif defined(X86_ANY) || defined(X86) || defined(X86_64) +- {@':cdecl', FFI_SYSV}, +- {@':sysv', FFI_SYSV}, ++ {@':cdecl', FFI_UNIX64}, ++ {@':sysv', FFI_UNIX64}, + {@':unix64', FFI_UNIX64}, + #endif + }; diff --git a/gnu/packages/sagemath.scm b/gnu/packages/sagemath.scm index 34fe9e524c..c94020f13e 100644 --- a/gnu/packages/sagemath.scm +++ b/gnu/packages/sagemath.scm @@ -2,6 +2,7 @@ ;;; Copyright © 2019 Andreas Enge ;;; Copyright © 2019 Nicolas Goaziou ;;; Copyright © 2019, 2020 Tobias Geerinckx-Rice +;;; Copyright © 2020 Jakub Kądziołka ;;; ;;; This file is part of GNU Guix. ;;; @@ -33,6 +34,7 @@ #:use-module (gnu packages boost) #:use-module (gnu packages compression) #:use-module (gnu packages image) + #:use-module (gnu packages lisp) #:use-module (gnu packages multiprecision) #:use-module (gnu packages pkg-config) #:use-module (gnu packages python) @@ -184,6 +186,27 @@ represented as strings.") (license license:public-domain) (home-page "https://github.com/miguelmarco/libhomfly"))) +;; Sage 9.1 doesn't build with ECL 20. This won't be necessary once 9.2 is +;; released. See https://trac.sagemath.org/ticket/22191 +(define-public ecl-16 + (package + (inherit ecl) + (version "16.1.3") + (source + (origin + (method url-fetch) + (uri (string-append + "https://common-lisp.net/project/ecl/static/files/release/ecl" + "-" version ".tgz")) + (sha256 + (base32 "0m0j24w5d5a9dwwqyrg0d35c0nys16ijb4r0nyk87yp82v38b9bn")) + (patches (search-patches + "ecl-16-libffi.patch" + "ecl-16-ignore-stderr-write-error.patch" + "ecl-16-format-directive-limit.patch")))) + ;; Current ECL uses LGPL 2.1+ + (license license:lgpl2.0+))) + (define-public pynac (package (name "pynac") From patchwork Sat Jun 20 21:32:08 2020 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: =?utf-8?q?Maja_K=C4=85dzio=C5=82ka?= X-Patchwork-Id: 22809 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id C020927BBE6; Sat, 20 Jun 2020 22:33:14 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.9 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI, RCVD_IN_MSPIKE_H4,RCVD_IN_MSPIKE_WL autolearn=unavailable autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTP id 9D70127BBE5 for ; Sat, 20 Jun 2020 22:33:09 +0100 (BST) Received: from localhost ([::1]:57528 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jml6r-0008Tv-3C for patchwork@mira.cbaines.net; Sat, 20 Jun 2020 17:33:09 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:57446) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jml6k-0008Sq-GJ for guix-patches@gnu.org; Sat, 20 Jun 2020 17:33:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:47321) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1jml6k-0005kX-61 for guix-patches@gnu.org; Sat, 20 Jun 2020 17:33:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1jml6k-0007BY-3p for guix-patches@gnu.org; Sat, 20 Jun 2020 17:33:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#41971] [PATCH 4/5] gnu: lcalc: Don't rename the include directory. References: <20200620212802.31906-1-kuba@kadziolka.net> In-Reply-To: <20200620212802.31906-1-kuba@kadziolka.net> Resent-From: Jakub =?utf-8?b?S8SFZHppb8WCa2E=?= Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 20 Jun 2020 21:33:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 41971 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 41971@debbugs.gnu.org Received: via spool by 41971-submit@debbugs.gnu.org id=B41971.159268873327538 (code B ref 41971); Sat, 20 Jun 2020 21:33:02 +0000 Received: (at 41971) by debbugs.gnu.org; 20 Jun 2020 21:32:13 +0000 Received: from localhost ([127.0.0.1]:58863 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jml5w-0007A6-W9 for submit@debbugs.gnu.org; Sat, 20 Jun 2020 17:32:13 -0400 Received: from pat.zlotemysli.pl ([37.59.186.212]:38918) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jml5u-00079x-Nh for 41971@debbugs.gnu.org; Sat, 20 Jun 2020 17:32:11 -0400 Received: (qmail 20236 invoked by uid 1009); 20 Jun 2020 23:32:09 +0200 Received: from 188.123.215.55 (kuba@kadziolka.net@188.123.215.55) by pat.zlotemysli.pl (envelope-from , uid 1002) with qmail-scanner-2.08st (clamdscan: 0.98.6/25848. spamassassin: 3.4.0. perlscan: 2.08st. Clear:RC:1(188.123.215.55):. Processed in 0.009267 secs); 20 Jun 2020 21:32:09 -0000 Received: from unknown (HELO localhost.localdomain) (kuba@kadziolka.net@188.123.215.55) by pat.zlotemysli.pl with AES256-SHA encrypted SMTP; 20 Jun 2020 23:32:09 +0200 From: Jakub =?utf-8?b?S8SFZHppb8WCa2E=?= Date: Sat, 20 Jun 2020 23:32:08 +0200 Message-Id: <20200620213208.2435-1-kuba@kadziolka.net> X-Mailer: git-send-email 2.26.2 MIME-Version: 1.0 X-Qmailux-2.08st: added fake Content-Type header X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches Sage no longer renames the directory, so we shouldn't either. * gnu/packages/sagemath.scm (lcalc)[arguments]: Remove a substitution from the prepare-build phase. --- gnu/packages/sagemath.scm | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/gnu/packages/sagemath.scm b/gnu/packages/sagemath.scm index c94020f13e..8c837fdaeb 100644 --- a/gnu/packages/sagemath.scm +++ b/gnu/packages/sagemath.scm @@ -368,10 +368,7 @@ used as internal storage type for polynomial structures.") (let ((out (assoc-ref outputs "out"))) (substitute* "Makefile" (("^INSTALL_DIR= /usr/local") - (string-append "INSTALL_DIR=" out)) - ;; Sage renames the include directory, so we do it also. - (("include/Lfunction") - "include/libLfunction"))) + (string-append "INSTALL_DIR=" out)))) #t)) (add-before 'install 'make-output-dirs (lambda* (#:key outputs #:allow-other-keys) From patchwork Sat Jun 20 21:32:18 2020 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: =?utf-8?q?Maja_K=C4=85dzio=C5=82ka?= X-Patchwork-Id: 22810 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 7B77227BBE3; Sat, 20 Jun 2020 22:33:15 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.9 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI, RCVD_IN_MSPIKE_H4,RCVD_IN_MSPIKE_WL,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTP id 55C0427BBE1 for ; Sat, 20 Jun 2020 22:33:10 +0100 (BST) Received: from localhost ([::1]:57548 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jml6r-0008UU-RM for patchwork@mira.cbaines.net; Sat, 20 Jun 2020 17:33:09 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:57448) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jml6k-0008St-T2 for guix-patches@gnu.org; Sat, 20 Jun 2020 17:33:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:47322) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1jml6k-0005kk-Jo for guix-patches@gnu.org; Sat, 20 Jun 2020 17:33:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1jml6k-0007Bf-Gu for guix-patches@gnu.org; Sat, 20 Jun 2020 17:33:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#41971] [PATCH 5/5] [WIP] gnu: Add sagemath. References: <20200620212802.31906-1-kuba@kadziolka.net> In-Reply-To: <20200620212802.31906-1-kuba@kadziolka.net> Resent-From: Jakub =?utf-8?b?S8SFZHppb8WCa2E=?= Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 20 Jun 2020 21:33:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 41971 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 41971@debbugs.gnu.org Received: via spool by 41971-submit@debbugs.gnu.org id=B41971.159268874327565 (code B ref 41971); Sat, 20 Jun 2020 21:33:02 +0000 Received: (at 41971) by debbugs.gnu.org; 20 Jun 2020 21:32:23 +0000 Received: from localhost ([127.0.0.1]:58866 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jml67-0007AX-7k for submit@debbugs.gnu.org; Sat, 20 Jun 2020 17:32:23 -0400 Received: from pat.zlotemysli.pl ([37.59.186.212]:38950) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jml64-0007AL-Kk for 41971@debbugs.gnu.org; Sat, 20 Jun 2020 17:32:21 -0400 Received: (qmail 20376 invoked by uid 1009); 20 Jun 2020 23:32:19 +0200 Received: from 188.123.215.55 (kuba@kadziolka.net@188.123.215.55) by pat.zlotemysli.pl (envelope-from , uid 1002) with qmail-scanner-2.08st (clamdscan: 0.98.6/25848. spamassassin: 3.4.0. perlscan: 2.08st. Clear:RC:1(188.123.215.55):. Processed in 0.037576 secs); 20 Jun 2020 21:32:19 -0000 Received: from unknown (HELO localhost.localdomain) (kuba@kadziolka.net@188.123.215.55) by pat.zlotemysli.pl with AES256-SHA encrypted SMTP; 20 Jun 2020 23:32:19 +0200 From: Jakub =?utf-8?b?S8SFZHppb8WCa2E=?= Date: Sat, 20 Jun 2020 23:32:18 +0200 Message-Id: <20200620213218.2677-1-kuba@kadziolka.net> X-Mailer: git-send-email 2.26.2 MIME-Version: 1.0 X-Qmailux-2.08st: added fake Content-Type header X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" X-getmail-retrieved-from-mailbox: Patches --- gnu/packages/sagemath.scm | 123 +++++++++++++++++++++++++++++++++++++- 1 file changed, 122 insertions(+), 1 deletion(-) diff --git a/gnu/packages/sagemath.scm b/gnu/packages/sagemath.scm index 8c837fdaeb..9809f93060 100644 --- a/gnu/packages/sagemath.scm +++ b/gnu/packages/sagemath.scm @@ -29,16 +29,33 @@ #:use-module (guix utils) #:use-module (gnu packages) #:use-module (gnu packages algebra) + #:use-module (gnu packages assembly) #:use-module (gnu packages autotools) #:use-module (gnu packages bdw-gc) #:use-module (gnu packages boost) + #:use-module (gnu packages cmake) + #:use-module (gnu packages commencement) #:use-module (gnu packages compression) + #:use-module (gnu packages gd) + #:use-module (gnu packages gettext) + #:use-module (gnu packages graph) #:use-module (gnu packages image) + #:use-module (gnu packages libffi) #:use-module (gnu packages lisp) + #:use-module (gnu packages m4) + #:use-module (gnu packages maths) #:use-module (gnu packages multiprecision) + #:use-module (gnu packages ncurses) + #:use-module (gnu packages networking) + #:use-module (gnu packages pcre) + #:use-module (gnu packages perl) #:use-module (gnu packages pkg-config) #:use-module (gnu packages python) - #:use-module (gnu packages python-xyz)) + #:use-module (gnu packages python-xyz) + #:use-module (gnu packages readline) + #:use-module (gnu packages sqlite) + #:use-module (gnu packages tex) + #:use-module (gnu packages tls)) (define-public python-cypari2 @@ -432,3 +449,107 @@ zeta function and its twists by quadratic characters.") a given height bound on a hyperelliptic curve in a very efficient way, by using an optimized quadratic sieve algorithm.") (license license:gpl2+))) + +(define-public sagemath + (package + (name "sagemath") + (version "9.1") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "git://git.sagemath.org/sage.git/") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1imlqa5mg7xxp6xbzzjnjjpd8k79vlx48zm0qfj7cd4bi0i809pp")))) + (build-system python-build-system) + (arguments + `(#:use-setuptools? #f + #:tests? #f + #:phases + (modify-phases %standard-phases + (add-after 'unpack 'prepare + (lambda _ + (setenv "HOME" "/tmp") + (setenv "SAGE_ROOT" (getcwd)) + (setenv "SAGE_LOCAL" (getcwd)) + (setenv "SAGE_SHARE" (string-append (getcwd) "/share")) + (setenv "SAGE_NUM_THREADS" (number->string (parallel-job-count))) + (mkdir-p "var/lib/sage/installed") + (chdir "src") + #t))))) + (propagated-inputs + `(("python-cypari2" ,python-cypari2) + ("python-cysignals" ,python-cysignals) + ("python-cython" ,python-cython) + ("python-gmpy2" ,python-gmpy2) + ("python-jinja2" ,python-jinja2) + ("python-numpy" ,python-numpy) + ("python-pkgconfig" ,python-pkgconfig) + ("python-six" ,python-six))) + (inputs + `(("arb" ,arb) + ("boost" ,boost) ; TODO: Is this needed? + ("braiding" ,libbraiding) + ("brial" ,brial) + ("bzip2" ,bzip2) + ("cliquer" ,cliquer) + ("ecl" ,ecl-16) + ("eclib" ,eclib) + ("ecm" ,gmp-ecm) + ("ecm:libatomic-ops" ,libatomic-ops) + ("flint" ,flint) + ("gf2x" ,gf2x) + ("gap" ,gap) + ("gc" ,libgc) + ("gd" ,gd) + ("givaro" ,givaro) + ("glpk" ,glpk) + ("gmp" ,gmp) + ("gsl" ,gsl) + ("homfly" ,libhomfly) + ("iml" ,iml) + ("lcalc" ,lcalc) + ("libffi" ,libffi) + ("libpng" ,libpng) + ("linbox" ,linbox) + ("lrcalc" ,lrcalc) + ("m4ri" ,m4ri) + ("m4rie" ,m4rie) + ("mpc" ,mpc) + ("mpfi" ,mpfi) + ("mpfr" ,mpfr) + ("ncurses" ,ncurses) + ("ntl" ,ntl) + ("openssl" ,openssl) + ("pari" ,pari-gp) + ("pcre" ,pcre) + ("planarity" ,edge-addition-planarity-suite) + ("ppl" ,ppl) + ("pynac" ,pynac) + ("rw" ,rw) + ("ratpoints" ,ratpoints) + ("readline" ,readline) + ("singular" ,singular) + ("sqlite" ,sqlite) + ("symmetrica" ,symmetrica) + ("texlive" ,texlive-tiny) + ("zeromq" ,zeromq) ; TODO: Is this needed? + ("zlib" ,zlib) + ("zn-poly" ,zn-poly))) + (native-inputs + `(("autoconf" ,autoconf) + ("automake" ,automake) + ("cmake" ,cmake) + ("gettext" ,gettext-minimal) + ("gfortran" ,gfortran-toolchain) + ("m4" ,m4) + ("perl" ,perl) + ("pkg-config" ,pkg-config) + ("yasm" ,yasm))) + (home-page "https://www.sagemath.org/") + (synopsis "Python-based computer algebra system") + (description "TODO") + (license license:gpl3)))