Revision history [back]

I've got no idea, but there is something strange, though. In the Hap directory there is a compile.sh file which contains stuff like that :

PKGDIR=/home/graham/pkg;


It also looks like some GAP pkg need to be compiled (they appear in the spkg-install file of the gap_packages spkg)

Don't get it O_o

Nathann

I've got no idea, but there is something strange, though. In the Hap directory there is a compile.sh file which contains stuff like that :

PKGDIR=/home/graham/pkg;


It also looks like some GAP pkg need to be compiled (they appear in the spkg-install file of the gap_packages spkg)

Don't get it O_o

This being said, there is something weird :

~/.Sage/spkg/installed\$ ls *gap*
gap-4.6.4.p0  gap_packages-4.5.7  libgap-4.6.4.p0


Not the same version... O_O

Nathann