Changes between Version 20 and Version 34 of Ticket #22626


Ignore:
Timestamp:
Feb 8, 2018, 5:19:13 PM (5 years ago)
Author:
Samuel Lelièvre
Comment:

Cc-ing @alexk and @markuspf.

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #22626

    • Property Cc Alexander Konovalov Jean-Pierre Flori Markus Pfeiffer Samuel Lelièvre added
    • Property Commit changed from 431845f6da27d20c78b5e7a42b5f47bea866201c to 7c04025083d61cab671df3302c32f353c4e28313

  • Ticket #22626 – Description

    v20 v34  
    88See https://github.com/markuspf/gap/issues/2 for the few sticking points that could prevent using a vanilla GAP from the distribution (please edit further if you think about more of them).
    99
     10What the branch does:
    1011
    11 What the branch does:
    1212- Remove the libgap spkg
    1313
    … …  
    6969Fetching Markus's GAP sources:
    7070{{{
    71     git clone git@github.com:markuspf/gap.git $LIBGAP
    72     cd $LIBGAP
    73     git remote add markuspf git@github.com:markuspf/gap.git
    74     git fetch markuspf
    75     git checkout -b markuspf/hpc-merge-libgap
    76     ./autogen.sh
    77     ./configure
    78     make bootstrap-pkg-minimal
     71git clone git@github.com:markuspf/gap.git $LIBGAP
     72cd $LIBGAP
     73git remote add markuspf git@github.com:markuspf/gap.git
     74git fetch markuspf
     75git checkout -b markuspf/hpc-merge-libgap
     76./autogen.sh
     77./configure
     78make bootstrap-pkg-minimal
    7979}}}
    8080
    … …  
    8282Testing libgap:
    8383{{{
    84     ./configure --enable-libgap
    85     make -j4 libgap
    86     make test-libgap
     84./configure --enable-libgap
     85make -j4 libgap
     86make test-libgap
    8787}}}
    8888
    8989Build and install a tardist for Sage, and rebuild the spkg:
    9090{{{
    91     make distclean
    92     ./autogen.sh
    93     ./configure
    94     make manuals
    95     make clean
     91make distclean
     92./autogen.sh
     93./configure
     94make manuals
     95make clean
    9696
    97     (cd ..; tar zcvf $SAGE/upstream/$GAP.tar.gz --exclude .git $GAP)
     97(cd ..; tar zcvf $SAGE/upstream/$GAP.tar.gz --exclude .git $GAP)
    9898
    99     sage --package fix-checksum
    100     sage -f gap                      # -s
     99sage --package fix-checksum
     100sage -f gap                      # -s
    101101}}}
    102102
    … …  
    108108Run:
    109109{{{
    110     sage -b
     110sage -b
    111111}}}
    112112
    113113Basic tests on libgap:
    114114{{{
    115     sage: libgap.eval("GAPInfo.Version")
    116     sage: libgap.DihedralGroup(10).CharacterTable()
    117     CharacterTable( <pc group of size 10 with 2 generators> )
    118     sage: libgap.Group(libgap.eval("[(1,2,3),(1,2)]")).Size()
    119     6
     115sage: libgap.eval("GAPInfo.Version")
     116sage: libgap.DihedralGroup(10).CharacterTable()
     117CharacterTable( <pc group of size 10 with 2 generators> )
     118sage: libgap.Group(libgap.eval("[(1,2,3),(1,2)]")).Size()
     1196
    120120}}}
    121121
    122122Running most relevant tests:
    123123{{{
    124     sage -tp 8 sage/groups sage/libs/gap
     124sage -tp 8 sage/groups sage/libs/gap
    125125}}}
    126126Current status: all tests pass!
    … …  
    130130Install IO:
    131131{{{
    132     cd $SAGE/local/gap/latest/pkg
    133     wget http://www.gap-system.org/pub/gap/gap4/tar.gz/packages/io-4.4.6.tar.gz
    134     tar xvf /tmp/io-4.4.6.tar.gz
    135     mv io-4.4.6 io
    136     cd io
    137     ./configure
    138     make
     132cd $SAGE/local/gap/latest/pkg
     133wget http://www.gap-system.org/pub/gap/gap4/tar.gz/packages/io-4.4.6.tar.gz
     134tar xvf /tmp/io-4.4.6.tar.gz
     135mv io-4.4.6 io
     136cd io
     137./configure
     138make
    139139}}}
    140140
    141141Test it locally:
    142142{{{
    143     cd ../..
    144     ./gap -l .
    145     gap> LoadPackage("IO");
    146     true
     143cd ../..
     144./gap -l .
     145gap> LoadPackage("IO");
     146true
    147147}}}
    148148
    149149This does not yet work:
    150150{{{
    151     sage: libgap.LoadPackage("IO")
    152     ValueError: libGAP: Error, module '/opt/sage-git/local/gap/latest/pkg/io/bin/x86_64-pc-linux-gnu-gcc-default64/io.so' not found
     151sage: libgap.LoadPackage("IO")
     152ValueError: libGAP: Error, module '/opt/sage-git/local/gap/latest/pkg/io/bin/x86_64-pc-linux-gnu-gcc-default64/io.so' not found
    153153}}}
    154154This should be fixed once GAP's gap binary is built on top of libgap.