parker/count_solutions.cc: fix treatment of existentially quantified variables
[barvinok.git] / zsolve / hilbert.template
blobeca92ea0ec37bba32d99005ca57d9809e6ff9db4
1 #!/bin/sh
3 # We locate where this script is so we can call the executable zsolve which
4 # should be in the same directory as this script.
5 SCRIPT=`which $0`
6 SCRIPTDIR=`dirname $SCRIPT`
7 EXECUTABLE=zsolve
9 # Check if zsolve executable exists.
10 if [ ! -f "$SCRIPTDIR/$EXECUTABLE" ]
11 then
12 echo "Error: Unable to find the executable '$EXECUTABLE'."
13 echo "Error: It should have been in the directory '$SCRIPTDIR'."
14 exit 1
17 $SCRIPTDIR/$EXECUTABLE -H $@