4ti2/4ti2-handle-prefix.patch
2021-07-01 19:11:21 +00:00

34 lines
998 B
Diff

--- a/src/groebner/script.template.in
+++ b/src/groebner/script.template.in
@@ -21,7 +21,7 @@
# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
# We locate where this script is so we can call the executables.
-SCRIPT=`which "$0"`
+SCRIPT=$(realpath $(which "$0"))
DIR=`dirname "$SCRIPT"`
FUNCTION=`basename "$SCRIPT"`
--- a/src/zsolve/graver.template
+++ b/src/zsolve/graver.template
@@ -2,7 +2,7 @@
# We locate where this script is so we can call the executable zsolve which
# should be in the same directory as this script.
-SCRIPT=`which "$0"`
+SCRIPT=$(realpath $(which "$0"))
SCRIPTDIR=`dirname "$SCRIPT"`
EXECUTABLE=zsolve
--- a/src/zsolve/hilbert.template
+++ b/src/zsolve/hilbert.template
@@ -2,7 +2,7 @@
# We locate where this script is so we can call the executable zsolve which
# should be in the same directory as this script.
-SCRIPT=`which "$0"`
+SCRIPT=$(realpath $(which "$0"))
SCRIPTDIR=`dirname "$SCRIPT"`
EXECUTABLE=zsolve