Upgrade to GAP 4.9

[nthiery]

GAP 4.9 will come with a completely rewritten build system that will simplify our packaging. It will also enable building GAP as a library, so that we can get rid of our separate libgap package.

The branch to be attached to this ticket is a preliminary experiment from a fork by Markus to be merged in the devel version of GAP.

What the branch does:

• Remove the libgap spkg

• Update the gap spkg to the new build system and build and install libgap

• Replace gap.shi.patch by a plain gap startup script for Sage

Rationale: GAP used to provide a startup shell script. The GAP devs are in the process of getting rid of it and provide a very minimal one. They recommend to just write our own rather than patching it.

• Update a few doctests w.r.t. changes of output of some GAP functions

• ???

TODO:

• Automatic handling of headers (see below for how to do it by hand). GAP's build system will eventuall provide a rule to install headers which will make this trivial.

• Use GAP's own make install when it will be implemented.

Fetching Markus's GAP sources:

    git clone git@github.com:markuspf/gap.git $LIBGAP
    cd $LIBGAP
    git remote add markuspf git@github.com:markuspf/gap.git
    git fetch markuspf
    git checkout -b markuspf/hpc-merge-libgap
    ./autogen.sh
    ./configure
    make bootstrap-pkg-minimal

Testing libgap:

    ./configure --enable-libgap
    make -j4 libgap
    make test-libgap

Build and install a tardist for Sage, and rebuild the spkg:

    make distclean
    ./autogen.sh
    ./configure
    make manuals
    make clean

    (cd ..; tar zcvf $SAGE/upstream/$GAP.tar.gz --exclude .git $GAP)

    sage --package fix-checksum
    sage -f gap                      # -s

Header files:

• Copy GAP's header files, as well as gen/config.h to $SAGE/local/include
• Fix them to adapt the include path: #include <src/...> -> #include <gap/...>
• Replace T_INT by 0 in TNUM_OBJ, around line 414 of objects.h

Run:

    sage -b

Basic tests on libgap:

    sage: libgap.eval("GAPInfo.Version")
    sage: libgap.DihedralGroup(10).CharacterTable()
    CharacterTable( <pc group of size 10 with 2 generators> )
    sage: libgap.Group(libgap.eval("[(1,2,3),(1,2)]")).Size()
    6

Running most relevant tests:

    sage -tp 8 sage/groups sage/libs/gap

Current status: all tests pass!

Testing packages with dynamic loading (e.g. IO):

Install IO:

    cd $SAGE/local/gap/latest/pkg
    wget http://www.gap-system.org/pub/gap/gap4/tar.gz/packages/io-4.4.6.tar.gz
    tar xvf /tmp/io-4.4.6.tar.gz
    mv io-4.4.6 io
    cd io
    ./configure
    make

Test it locally:

    cd ../..
    ./gap -l .
    gap> LoadPackage("IO");
    true

This does not yet work:

    sage: libgap.LoadPackage("IO")
    ValueError: libGAP: Error, module '/opt/sage-git/local/gap/latest/pkg/io/bin/x86_64-pc-linux-gnu-gcc-default64/io.so' not found

This should be fixed once GAP's gap binary is built on top of libgap. See: ​https://github.com/markuspf/gap/issues/1.