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

[ginac.git] / cint / launch.h.in

diff --git a/cint/launch.h.in b/cint/launch.h.in
new file mode 100644 (file)
index 0000000..88c33ff
--- /dev/null
+++ b/cint/launch.h.in
@@ -0,0 +1,12 @@
+/* config.h.in  -->  config.h  (configure)
+ * ginaccint.bin shouldn't be invoked directly because CINTSYSDIR or other
+ * variables might not be in place when some user invokes it.  Instead, we need
+ * a little launcher binary.  This file should be included by those launchers
+ * so they know about some variables. */
+
+// set some variables inherited from configure
+string prefix = "@prefix@";
+string exec_prefix = "@exec_prefix@";
+string bindir = "@bindir@";
+string libdir = "@libdir@";
+string CINTSYSDIR = "@CINTSYSDIR@";