バージョンアップ

紹介したソフトのうち，幾つかのバージョンが上がっていますので，インストールスクリプトを書きました．プラットフォームは
http://www.math.kobe-u.ac.jp/vmkm/2012vm/index.html
で，新規に導入するものとしますが，手順は
http://d.hatena.ne.jp/ehito/20110517/1305632906
と同じです．

export CAS=/home/knoppix/CAS
export qe=$CAS/qesource
export saclib=$CAS/saclib2.2.5
mkdir $CAS

sudo apt-get update

# hol_light
sudo apt-get install coinor-csdp
sudo apt-get -y --force-yes install camlp5
cd /home/knoppix/CAS
svn checkout http://hol-light.googlecode.com/svn/trunk/ hol_light
cd /home/knoppix/CAS/hol_light
make

# maxima
cd $CAS
wget http://sourceforge.net/projects/wxmaxima/files/wxMaxima/12.09.0/wxMaxima-12.09.0.tar.gz
tar zxvf wxMaxima-12.09.0.tar.gz
cd $CAS/wxMaxima-12.09.0
./configure
make
sudo make install

cd $CAS
wget http://sourceforge.net/projects/maxima/files/Maxima-source/5.29.1-source/maxima-5.29.1.tar.gz
tar zxvf maxima-5.29.1.tar.gz
cd ./maxima-5.29.1
./configure --prefix=/usr
make
sudo make install

# reduce
sudo mv /usr/bin/reduce /usr/bin/old-reduce
cd $CAS
wget http://jaist.dl.sourceforge.net/project/reduce-algebra/reduce-src-20110414.tar.bz2
tar xjvf ./reduce-src-20110414.tar.bz2
cd $CAS/reduce-20110414
./configure --with-csl
make

# saclib,qepcad,slfq
export qe=$CAS/qesource
export saclib=$CAS/saclib2.2.5
sudo apt-get -y --force-yes install libreadline5-dev
cd $CAS
wget http://www.usna.edu/cs/~qepcad/INSTALL/saclib2.2.5.tar.gz
tar zxvf ./saclib2.2.5.tar.gz
cd $saclib/bin
./sconf
./mkproto
./mkmake
./mklib all
cd $CAS
wget http://www.usna.edu/cs/~qepcad/INSTALL/qepcad-B.1.69.tar.gz
tar zxvf ./qepcad-B.1.69.tar.gz
cd $qe
sed -i "s/csh/sh/g" $qe/Makefile
make
sed -i "s/\#SINGULAR/SINGULAR/g" $qe/default.qepcadrc
cd $CAS
wget http://www.usna.edu/cs/~qepcad/SLFQ/simplify-1.20.tar.gz
tar zxvf simplify-1.20.tar.gz
cd ./simplify
make

echo "export CAS=/home/knoppix/CAS
export qe=/home/knoppix/CAS/qesource
export PATH=/home/knoppix/CAS/reduce-20110414/bin/:/home/knoppix/CAS/qesource/bin/:/home/knoppix/CAS/simplify/:/opt/ptexlive/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" > /home/knoppix/.bashrc