How to install FOIL on WPI CCC or any Other Linux/UNIX Machine

Use your terminal/ssh client like: putty/ssh etc to log in to ccc.wpi.edu or any other linux server mkdir FOIL # create a directory namely FOIL inside the current directory

cd FOIL # change directory to the FOIL directory

wget http://www.rulequest.com/Personal/foil6.sh #download foil shell script to the current directory

chmod 755 foil6.sh # set the shell script file's permission (to make sure you have the permission to run the file

./foil.sh

make #to compile

chmod 755 * #to set the permissions for the compiled files then to try it out: ./foil6 < ackermann.d