diff options
| author | Andreas Enge <andreas@enge.fr> | 2025-02-14 21:28:28 +0100 |
|---|---|---|
| committer | Andreas Enge <andreas@enge.fr> | 2025-02-15 12:09:15 +0100 |
| commit | c17545dbde0fcf4982a6e1a7b2eed49aa26dc6ce (patch) | |
| tree | 0ea355037e3e8a928f155eb4b066fc3e63ba80df /gnu | |
| parent | 9b1fe3bd70a57cdbf99339eb06b3a9b57f060f97 (diff) | |
gnu: gap: Update to 4.14.0.
* gnu/packages/algebra.scm (gap): Update to 4.14.0.
[source]: Keep cddinterface package.
[native-inputs]: Add texlive-updmap.cfg and texlive packages for
building the documentation.
[inputs]: Add cddlib.
Change-Id: Ifed80efacd479ba847ae7314787b4c991690f127
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/algebra.scm | 20 |
1 files changed, 16 insertions, 4 deletions
diff --git a/gnu/packages/algebra.scm b/gnu/packages/algebra.scm index 4e41b7805e9..d5304afa434 100644 --- a/gnu/packages/algebra.scm +++ b/gnu/packages/algebra.scm | |||
| @@ -1334,7 +1334,7 @@ xtensor provides: | |||
| 1334 | (define-public gap | 1334 | (define-public gap |
| 1335 | (package | 1335 | (package |
| 1336 | (name "gap") | 1336 | (name "gap") |
| 1337 | (version "4.13.1") | 1337 | (version "4.14.0") |
| 1338 | (source | 1338 | (source |
| 1339 | (origin | 1339 | (origin |
| 1340 | (method url-fetch) | 1340 | (method url-fetch) |
| @@ -1344,7 +1344,7 @@ xtensor provides: | |||
| 1344 | version | 1344 | version |
| 1345 | ".tar.gz")) | 1345 | ".tar.gz")) |
| 1346 | (sha256 | 1346 | (sha256 |
| 1347 | (base32 "1fmy3mzbw84f1cxrkjcw7wyssj48zhhwxa0a5l58x6gvlvdxp54p")) | 1347 | (base32 "11v4a3cpjpf6pc0hd6x1wlglq9jzakq4naggp671psvgq9r54pw4")) |
| 1348 | (modules '((guix build utils) (ice-9 ftw) (srfi srfi-1))) | 1348 | (modules '((guix build utils) (ice-9 ftw) (srfi srfi-1))) |
| 1349 | (snippet | 1349 | (snippet |
| 1350 | '(begin | 1350 | '(begin |
| @@ -1356,14 +1356,21 @@ xtensor provides: | |||
| 1356 | (with-directory-excursion "pkg" | 1356 | (with-directory-excursion "pkg" |
| 1357 | (for-each delete-file-recursively | 1357 | (for-each delete-file-recursively |
| 1358 | '("caratinterface" ; ./configure: /bin/sh: bad interpreter: No such file or directory | 1358 | '("caratinterface" ; ./configure: /bin/sh: bad interpreter: No such file or directory |
| 1359 | "cddinterface" ; configure: error: could not use setoper.h | 1359 | "normalizinterface" ; tries to download normaliz even when it is available |
| 1360 | "normalizinterface" ; tries to download normaliz | ||
| 1361 | "semigroups" ; bundled dependencies | 1360 | "semigroups" ; bundled dependencies |
| 1362 | "xgap" ; make: /bin/sh: No such file or directory | 1361 | "xgap" ; make: /bin/sh: No such file or directory |
| 1363 | ))))))) | 1362 | ))))))) |
| 1364 | (build-system gnu-build-system) | 1363 | (build-system gnu-build-system) |
| 1364 | (native-inputs (list (texlive-updmap.cfg | ||
| 1365 | (list texlive-enumitem | ||
| 1366 | texlive-etoolbox | ||
| 1367 | texlive-fancyvrb | ||
| 1368 | texlive-helvetic | ||
| 1369 | texlive-rsfs | ||
| 1370 | texlive-times)))) | ||
| 1365 | (inputs | 1371 | (inputs |
| 1366 | (list gmp readline zlib | 1372 | (list gmp readline zlib |
| 1373 | cddlib ; for the cddinterface package | ||
| 1367 | curl ; for the curlinterface package | 1374 | curl ; for the curlinterface package |
| 1368 | zeromq ; for the zeromqinterface package | 1375 | zeromq ; for the zeromqinterface package |
| 1369 | )) | 1376 | )) |
| @@ -1382,6 +1389,11 @@ xtensor provides: | |||
| 1382 | ;; The documentation is bundled, but we create it from source. | 1389 | ;; The documentation is bundled, but we create it from source. |
| 1383 | (lambda _ | 1390 | (lambda _ |
| 1384 | (with-directory-excursion "doc" | 1391 | (with-directory-excursion "doc" |
| 1392 | ;; We do not build all packages, which breaks | ||
| 1393 | ;; cross-references in the documentation. Since | ||
| 1394 | ;; gap-4.14.0, this causes an error. | ||
| 1395 | (substitute* "make_doc" | ||
| 1396 | (("QuitGap\\(false\\);") "QuitGap(true);")) | ||
| 1385 | (invoke "./make_doc")))) | 1397 | (invoke "./make_doc")))) |
| 1386 | (add-after 'install 'install-packages | 1398 | (add-after 'install 'install-packages |
| 1387 | (lambda* (#:key outputs #:allow-other-keys) | 1399 | (lambda* (#:key outputs #:allow-other-keys) |
