diff options
Diffstat (limited to 'contrib/mk_starexec')
-rw-r--r-- | contrib/mk_starexec | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/contrib/mk_starexec b/contrib/mk_starexec new file mode 100644 index 000000000..aafe1f0c2 --- /dev/null +++ b/contrib/mk_starexec @@ -0,0 +1,9 @@ +#!/bin/bash +# Run : mk_starexec [TEXT] +# Run from directory containing cvc4 binary and subdirectory starexec/ containing the starexec space, i.e. subdirectory bin/ with configuration files. +# Generates file cvc4-[TEXT].tgz that can be uploaded to starexec. +strip cvc4 +cp cvc4 ./starexec/bin/cvc4 +cd starexec +tar -czf ../cvc4-$1.tgz . +rm bin/cvc4
\ No newline at end of file |