compile3.sh 164 Bytes Edit Raw Blame History Permalink 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 #!/bin/bash cd semantics make clean sudo make install make clean cd .. cd exec make clean sudo make install make clean cd .. cd theories sudo make install cd ..