diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-04-16 12:34:27 +0200 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-04-16 12:34:27 +0200 |
commit | 1c95df5efa3727a8b709049ef26ebb3fe6f0c6eb (patch) | |
tree | f6885e382fb3b3c48074cb5e0c39caee4baefdb3 /contrib | |
parent | 1bf5bc13506ba8c517925a50a6650a594d3ec42d (diff) |
Fix option --quant-fun-wd. Add mk_starexec script to contrib.
Diffstat (limited to 'contrib')
-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 |