1 files changed, 37 insertions, 0 deletions
diff --git a/src/config.mk.in b/src/config.mk.in
new file mode 100644
index 000000000..e8a8ab567
--- /dev/null
+++ b/src/config.mk.in
@@ -0,0 +1,37 @@
+# GF configuration file. configure will produce config.mk from this file
+# @configure_input@
+
+PACKAGE_VERSION = @PACKAGE_VERSION@
+
+prefix = @prefix@
+exec_prefix = @exec_prefix@
+bindir = @bindir@
+libdir = @libdir@
+datadir = @datadir@
+
+host = @host@
+build = @build@
+
+GHCFLAGS = @GHCFLAGS@
+CPPFLAGS = @CPPFLAGS@
+LDFLAGS = @LDFLAGS@
+
+EXEEXT = @EXEEXT@
+
+INSTALL = @INSTALL@
+TAR = @TAR@
+
+GHC = "@GHC@"
+GHCI = "@GHCI@"
+
+READLINE = @READLINE@
+
+INTERRUPT = @INTERRUPT@
+
+ATK = @ATK@
+
+ENABLE_JAVA = @ENABLE_JAVA@
+
+JAVAC = "@JAVAC@"
+JAR = "@JAR@"
+