diff options
author | Andreas Enge <andreas@enge.fr> | 2023-03-03 17:33:57 +0100 |
---|---|---|
committer | Andreas Enge <andreas@enge.fr> | 2023-03-12 18:55:26 +0100 |
commit | 1ed227d7952af48efe50a2f6c9537e17c356daa1 (patch) | |
tree | 33340e57322657b2615804dc356c27ed44aeb11a /gnu | |
parent | 9584b1daa687d1212550841d1c5f62e7ffa44ffc (diff) | |
download | guix-1ed227d7952af48efe50a2f6c9537e17c356daa1.tar.gz guix-1ed227d7952af48efe50a2f6c9537e17c356daa1.zip |
gnu: gap: Update to 4.12.2.
* gnu/packages/algebra.scm (gap): Update to 4.12.2.
[snippet]: Delete only bundled libraries inside hpcgap instead of the
complete subdirectory. Update package names and add new packages.
[arguments]: Use "make install" and a phase to install packages.
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/packages/algebra.scm | 134 |
1 files changed, 62 insertions, 72 deletions
diff --git a/gnu/packages/algebra.scm b/gnu/packages/algebra.scm index c3414a3f57..5842a166ad 100644 --- a/gnu/packages/algebra.scm +++ b/gnu/packages/algebra.scm @@ -1257,7 +1257,7 @@ xtensor provides: (define-public gap (package (name "gap") - (version "4.11.1") + (version "4.12.2") (source (origin (method url-fetch) @@ -1267,14 +1267,13 @@ xtensor provides: version ".tar.gz")) (sha256 - (base32 "01535s81h254zcs84zi95xqmhvvn6fn9qss8761myxc2gpdcadb6")) + (base32 "1a47slldnjq6mib69k3g8lqw6nyxdrwdd3gfjhj252mpbrs0h8v7")) (modules '((guix build utils) (ice-9 ftw) (srfi srfi-1))) (snippet '(begin - ;; Delete the external gmp and zlib libraries - ;; and a subdirectory not needed for our build. + ;; Delete bundled external libraries. (for-each delete-file-recursively - '("extern" "hpcgap")) + '("extern" "hpcgap/extern")) ;; Delete a failing test. ;; FIXME: This might be fixed in the next release, see ;; https://github.com/gap-system/gap/issues/3292 @@ -1288,47 +1287,69 @@ xtensor provides: (scandir ".") '("." ".." ;; Necessary packages. - "GAPDoc-" - "primgrp-" - "SmallGrp-" ; artistic2.0 - "transgrp" ; artistic2.0 for data, - ; gpl2 or gpl3 for code + "gapdoc" + "primgrp" + "smallgrp" ; artistic2.0 + "transgrp" ; artistic2.0 for data, + ; gpl2 or gpl3 for code ;; Optional packages. - "alnuth-" - "AutoDoc-" - "automata-" - "autpgrp-" - "crime-" - "crisp-" ; bsd-2 - "ctbllib" ; gpl3+ + "4ti2interface" + "alnuth" + "autodoc" + "automata" + "autpgrp" + "cap" + "crime" + "crisp" ; bsd-2 + "ctbllib" ; gpl3+ "datastructures" - "FactInt-" + "examplesforhomalg" + "factint" "fga" "format" - "groupoids-" + "gauss" + "gaussforhomalg" + "generalizedmorphismsforcap" + "gradedmodules" + "gradedringforhomalg" + "groupoids" "guarana" - "idrel-" - "images-" ; mpl2.0 - "IntPic-" - "io-" ; gpl3+ - "irredsol-" ; bsd-2 - "laguna-" - "liering-" - "MapClass-" - "nilmat-" - "NumericalSgps-" - "OpenMath-" - "orb-" ; gpl3+ - "polenta-" - "polycyclic-" - "radiroot-" - "repsn-" - "resclasses-" + "homalg" + "homalgtocas" + "idrel" + "images" ; mpl2.0 + "intpic" + "io" ; gpl3+ + "ioforhomalg" + "irredsol" ; bsd-2 + "laguna" + "liering" + "linearalgebraforcap" + "localizeringforhomalg" + "mapclass" + "matricesforhomalg" + "modulepresentationsforcap" + "modules" + "monoidalcategories" + "nconvex" + "nilmat" + "numericalsgps" + "openmath" + "orb" ; gpl3+ + "polenta" + "polycyclic" + "radiroot" + "recog" ; gpl3+ + "repsn" + "resclasses" + "ringsforhomalg" + "sco" "simpcomp" - "sophus-" - "tomlib-" - "unipot-" - "utils-")))))))) + "sophus" + "tomlib" + "toolsforhomalg" + "unipot" + "utils")))))))) (build-system gnu-build-system) (inputs (list gmp readline zlib)) @@ -1351,41 +1372,10 @@ xtensor provides: (lambda _ (with-directory-excursion "doc" (invoke "./make_doc")))) - (replace 'install + (add-after 'install 'install-packages (lambda* (#:key outputs #:allow-other-keys) (let* ((out (assoc-ref outputs "out")) - (bin (string-append out "/bin")) - (prog (string-append bin "/gap")) - (prog-real (string-append bin "/.gap-real")) (share (string-append out "/share/gap"))) - ;; Install only the gap binary; the gac compiler is left - ;; for maybe later. "Wrap" it in a shell script that calls - ;; the binary with the correct parameter. - ;; The make target install-bin is supposed to do that, but - ;; is not currently working. - (mkdir-p bin) - (copy-file "gap" prog-real) - (call-with-output-file prog - (lambda (port) - (format port - "#!~a~%exec ~a -l ~a \"$@\"~%" - (which "bash") - prog-real - share))) - (chmod prog #o755) - ;; Install the headers and library, which are needed by Sage. - (invoke "make" "install-headers") - (install-file "gen/config.h" - (string-append out "/include/gap")) - (invoke "make" "install-libgap") - ;; Remove information on the build directory from sysinfo.gap. - (substitute* "sysinfo.gap" - (("GAP_BIN_DIR=\".*\"") "GAP_BIN_DIR=\"\"") - (("GAP_LIB_DIR=\".*\"") "GAP_LIB_DIR=\"\"") - (("GAP_CPPFLAGS=\".*\"") "GAP_CPPFLAGS=\"\"")) - (invoke "make" "install-gaproot") - ;; Copy the directory of compiled packages; the make target - ;; install-pkg is currently empty. (copy-recursively "pkg" (string-append share "/pkg")))))))) (home-page "https://www.gap-system.org/") (synopsis |