Changes between Version 124 and Version 135 of Ticket #22626
- Timestamp:
- 11/09/18 10:23:51 (4 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #22626
-
Property
Authors
changed from
Nicolas M. Thiéry, ...
toNicolas M. Thiéry, Dima Pasechnik, Jeroen Demeyer
-
Property
Authors
changed from
-
Ticket #22626 – Description
v124 v135 1 1 GAP 4.9 comes with a completely rewritten build system that will simplify 2 our packaging. In fact, it may well enable Sage to use a vanilla GAP 3 installation as provided by the distribution. 4 5 The GAP team will provide libGAP with GAP 4.10. 6 7 The branch attached to this ticket updates Sage to run on top of 8 of a recent GAP master branch, close to the future 4.10. 2 our packaging. In particular, libGAP no longer needs to be a separate package. 9 3 10 4 What the branch does: … … 41 35 42 36 Status: currently broken - crashes deep inside GAP error handling system after few simple commands. 43 44 TODO:45 46 - ???47 48 To make a GAP package: get their sources from https://github.com/gap-system/gap, then run49 {{{50 ./autogen.sh51 ./configure --prefix=$SAGE_LOCAL52 make bootstrap-pkg-minimal53 make libgap54 make install55 }}}56 57 58 Testing libgap in GAP (there are few tests written in C):59 {{{60 make testlibgap61 }}}62 63 Build and install a tardist for Sage, and rebuild the spkg:64 {{{65 make distclean66 ./autogen.sh67 ./configure68 make manuals69 make clean70 71 (cd ..; tar zcvf $SAGE/upstream/$GAP.tar.gz --exclude .git $GAP)72 73 sage --package fix-checksum74 sage -f gap # -s75 }}}76 77 Header files:78 - Copy GAP's header files, as well as gen/config.h to $SAGE/local/include79 - Fix them to adapt the include path: #include <src/...> -> #include <gap/...>80 - **Replace T_INT by 0 in TNUM_OBJ, around line 414 of objects.h**81 82 Run:83 {{{84 sage -b85 }}}86 37 87 38 Basic tests on libgap: … … 136 87 - Max Horn reviewed the list of GAP symbols we use in Sage; some have already changed in 4.9. See this [[https://hackmd.io/emNi76svSWCh1fBeLKqPdA?edit#|pad]] for notes. 137 88 138 Tarball : https://github.com/dimpase/gap/releases/download/dev/gap-4.dev.tar.gz 89 '''Tarball''': https://www.gap-system.org/pub/gap/gap-4.10/tar.bz2/gap-4.10.0.tar.bz2