to compile: make This will create an executable in bin directory. to clean: make clean to run: ./shell ReasonLS-run.sh $1 $2 $1 :inputFile absolutely path $2 :-drup-file=$2/proof.out
