From: Andreas Enge <andreas@enge.fr>
To: 62011@debbugs.gnu.org
Cc: Andreas Enge <andreas@enge.fr>, efraim@flashner.co.il bavier@posteo.net
Subject: [bug#62011] [PATCH] gnu: gap: Update to 4.12.2.
Date: Mon, 6 Mar 2023 21:17:26 +0100 [thread overview]
Message-ID: <839c6697f686bc73cf007d9a344f6bf6b02cf5a8.1678133820.git.andreas@enge.fr> (raw)
* 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.
---
gnu/packages/algebra.scm | 134 ++++++++++++++++++---------------------
1 file 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 @@ (define-public xtensor-benchmark
(define-public gap
(package
(name "gap")
- (version "4.11.1")
+ (version "4.12.2")
(source
(origin
(method url-fetch)
@@ -1267,14 +1267,13 @@ (define-public gap
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 @@ (define-public gap
(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 @@ (define-public gap
(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
base-commit: fd4545a47a527fff437abb9991156cfee4137d2b
--
2.39.1
next reply other threads:[~2023-03-06 20:18 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-03-06 20:17 Andreas Enge [this message]
[not found] ` <handler.62011.B.167813387910698.ack@debbugs.gnu.org>
2023-03-12 18:17 ` bug#62011: Acknowledgement ([PATCH] gnu: gap: Update to 4.12.2.) Andreas Enge
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://guix.gnu.org/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=839c6697f686bc73cf007d9a344f6bf6b02cf5a8.1678133820.git.andreas@enge.fr \
--to=andreas@enge.fr \
--cc=62011@debbugs.gnu.org \
--cc=efraim@flashner.co.il \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/guix.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).