Script started on Fri 06 Apr 2018 10:58:57 AM PDT
$ cd CC_SMC-master/
$ ant compile
Buildfile: /home/dbrower/src/CC_SMC-master/build.xml

compile:
[mkdir] Created dir: /home/dbrower/src/CC_SMC-master/build/classes
[javac] /home/dbrower/src/CC_SMC-master/build.xml:8: warning: 'includeantruntime' was not set, defaulting to build.sysclasspath=last; set to false for repeatable builds
[javac] Compiling 33 source files to /home/dbrower/src/CC_SMC-master/build/classes
[javac] Note: /home/dbrower/src/CC_SMC-master/src/smc/SMC.java uses unchecked or unsafe operations.
[javac] Note: Recompile with -Xlint:unchecked for details.

BUILD SUCCESSFUL
Total time: 2 seconds
$ and jar
bash: and: command not found
$ ant jar
Buildfile: /home/dbrower/src/CC_SMC-master/build.xml

compile:
[javac] /home/dbrower/src/CC_SMC-master/build.xml:8: warning: 'includeantruntime' was not set, defaulting to build.sysclasspath=last; set to false for repeatable builds

jar:
[mkdir] Created dir: /home/dbrower/src/CC_SMC-master/build/jar
[jar] Building jar: /home/dbrower/src/CC_SMC-master/build/jar/smc.jar

BUILD SUCCESSFUL
Total time: 0 seconds
$ cd TE��[K��[Ktest_cases/
$ cd c_turnstile/
$ make
rm -f turnstile_test *.o twoCoinTurnstile.h twoCoinTurnstile.c
java -jar ../../build/jar/smc.jar -l C twoCoinTurnstile.sm
Compiled with 0 syntax errors.
cc -c -o turnstile_test.o turnstile_test.c
turnstile_test.c:5:30:fatal error: twoCoinTurnstile.h: No such file or directory
#include "twoCoinTurnstile.h"
^
compilation terminated.
make: *** [turnstile_test.o] Error 1
$ ls
makefile turnstile.h twocointurnstile.c twoCoinTurnstile.sm
turnstileActions.h turnstile_test.c twocointurnstile.h
$ make twoCoinTurnstile.h
java -jar ../../build/jar/smc.jar -l C twoCoinTurnstile.sm
Compiled with 0 syntax errors.
$ ls
makefile turnstile.h twocointurnstile.c twoCoinTurnstile.sm
turnstileActions.h turnstile_test.c twocointurnstile.h
$ make
rm -f turnstile_test *.o twoCoinTurnstile.h twoCoinTurnstile.c
java -jar ../../build/jar/smc.jar -l C twoCoinTurnstile.sm
Compiled with 0 syntax errors.
cc -c -o turnstile_test.o turnstile_test.c
turnstile_test.c:5:30:fatal error: twoCoinTurnstile.h: No such file or directory
#include "twoCoinTurnstile.h"
^
compilation terminated.
make: *** [turnstile_test.o] Error 1