#! /bin/bash
echo "Recompiling SAGE [$1] on `hostname`"

cd ~/SAGE/$1
make -j 8 > /dev/null 2> /dev/null

if [ "$?" != 0 ]
then
	echo "Error while compiling"
	exit
fi

if [ -e /usr/local/sage ]
then
	echo "Removing SAGE"
	sudo rm -r /usr/local/sage
fi

echo "Installing SAGE"
sudo make install > /dev/null
cd /usr/local/sage
sudo ln -s lib64 lib

echo "`hostname` all done"