doc: add another paper refering to the library
[barvinok.git] / zsolve / graver.template
blob24f8b44f05a4085910a7a655ca88a8e3a5b3388d
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 -G $@