contrib/mk_starexec

   1 #!/bin/bash
   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.
   5 strip cvc4
   6 cp cvc4 ./starexec/bin/cvc4
   7 cd starexec
   8 tar -czf ../cvc4-$1.tgz .
   9 rm bin/cvc4