- diff() is now only defined on classes ex and basic, where it handles

[ginac.git] / cint / ginaccint.in

diff --git a/cint/ginaccint.in b/cint/ginaccint.in
new file mode 100644 (file)
index 0000000..2128a14
--- /dev/null
+++ b/cint/ginaccint.in
@@ -0,0 +1,13 @@
+#! /bin/sh
+
+binprog=`basename $0`".bin"
+prefix=@prefix@
+exec_prefix=@exec_prefix@
+bindir=@bindir@
+config_cintsysdir=@CINTSYSDIR@
+
+if [ "x$CINTSYSDIR" = "x" ]; then
+  CINTSYSDIR=$config_cintsysdir
+  export CINTSYSDIR
+fi
+exec ${bindir}/${binprog}