- cint/*: Revamped the launch-scheme for ginaccint.bin. It must be done

[ginac.git] / cint / ginaccint.in

diff --git a/cint/ginaccint.in b/cint/ginaccint.in
deleted file mode 100644 (file)
index b4aed36..0000000
--- a/cint/ginaccint.in
+++ /dev/null
@@ -1,24 +0,0 @@
-#! /bin/sh
-
-binprog=`basename $0`".bin"
-prefix=@prefix@
-exec_prefix=@exec_prefix@
-bindir=@bindir@
-libdir=@libdir@
-config_cintsysdir=@CINTSYSDIR@
-program=${bindir}/${binprog}
-
-# Unless the user doesn't override $CINTSYSDIR, assume the value
-# given at configuration time:
-CINTSYSDIR=${CINTSYSDIR-$config_cintsysdir}
-export CINTSYSDIR
-
-# Extend LD_LIBRARY_PATH, needed because Cint isn't libtoolized:
-LD_LIBRARY_PATH=${libdir}:${LD_LIBRARY_PATH}
-export LD_LIBRARY_PATH
-
-# Execute ginaccint.bin with all arguments given:
-exec ${program} ${1+"$@"}
-
-echo "$0: cannot exec ${program} ${1+"$@"}"
-exit 1