Changes between Version 20 and Version 34 of Ticket #22626
- Timestamp:
- 02/08/18 17:19:13 (4 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #22626
- Property Cc alexk jpflori markuspf slelievre added
-
Property
Commit
changed from
431845f6da27d20c78b5e7a42b5f47bea866201c
to7c04025083d61cab671df3302c32f353c4e28313
-
Ticket #22626 – Description
v20 v34 8 8 See 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). 9 9 10 What the branch does: 10 11 11 What the branch does:12 12 - Remove the libgap spkg 13 13 … … 69 69 Fetching Markus's GAP sources: 70 70 {{{ 71 72 73 74 75 76 77 78 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 79 79 }}} 80 80 … … 82 82 Testing libgap: 83 83 {{{ 84 85 86 84 ./configure --enable-libgap 85 make -j4 libgap 86 make test-libgap 87 87 }}} 88 88 89 89 Build and install a tardist for Sage, and rebuild the spkg: 90 90 {{{ 91 92 93 94 95 91 make distclean 92 ./autogen.sh 93 ./configure 94 make manuals 95 make clean 96 96 97 97 (cd ..; tar zcvf $SAGE/upstream/$GAP.tar.gz --exclude .git $GAP) 98 98 99 100 99 sage --package fix-checksum 100 sage -f gap # -s 101 101 }}} 102 102 … … 108 108 Run: 109 109 {{{ 110 110 sage -b 111 111 }}} 112 112 113 113 Basic tests on libgap: 114 114 {{{ 115 116 117 118 119 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 120 120 }}} 121 121 122 122 Running most relevant tests: 123 123 {{{ 124 124 sage -tp 8 sage/groups sage/libs/gap 125 125 }}} 126 126 Current status: all tests pass! … … 130 130 Install IO: 131 131 {{{ 132 133 134 135 136 137 138 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 139 139 }}} 140 140 141 141 Test it locally: 142 142 {{{ 143 144 145 146 143 cd ../.. 144 ./gap -l . 145 gap> LoadPackage("IO"); 146 true 147 147 }}} 148 148 149 149 This does not yet work: 150 150 {{{ 151 152 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 153 153 }}} 154 154 This should be fixed once GAP's gap binary is built on top of libgap.