1 2 3 4 5 6 7 8 9 10 11
#!/bin/sh -ex CFLAGS="" if [ "x$1" = "x-D" ]; then CFLAGS="-DDEBUG" shift fi CFLAGS=${CFLAGS} ./build.sh PROOF=$1 CC="gcc -ansi -pedantic" ${CC} -Iinclude $PROOF.c src/*.o -o $PROOF.exe