Fixes #48. Instructions for creating the installer are given in platforms/debian/README.txt. The file platforms/debian/usr/share/doc/proofpad/README.txt might need an update at some point. Note that 64-bit Debian systems need the 64-bit ACL2 version, which means the old Linux tarball doesn't work on those systems.
I've created 32-bit and 64-bit .deb packages, but have only been able to thoroughly test the 64-bit version. Also, because this setup gives ACL2 write permissions, it will try to fix .cert files on first run, which can take a long time and make the program look frozen.
calebegg
commented
11 years ago
Fixes #48. Instructions for creating the installer are given in
platforms/debian/README.txt. The fileplatforms/debian/usr/share/doc/proofpad/README.txtmight need an update at some point. Note that 64-bit Debian systems need the 64-bit ACL2 version, which means the old Linux tarball doesn't work on those systems.I've created 32-bit and 64-bit .deb packages, but have only been able to thoroughly test the 64-bit version. Also, because this setup gives ACL2 write permissions, it will try to fix .cert files on first run, which can take a long time and make the program look frozen.