2 # Run : mk_starexec [TEXT]
3 # Run from directory containing cvc4 binary and subdirectory starexec/ containing the starexec space, i.e. subdirectory bin/ with configuration files.
4 # Generates file cvc4-[TEXT].tgz that can be uploaded to starexec.
6 cp cvc4 .
/starexec
/bin
/cvc4
8 tar -czf ..
/cvc4-
$1.tgz .