diff options
| author | aarne <aarne@chalmers.se> | 2010-12-22 14:11:55 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2010-12-22 14:11:55 +0000 |
| commit | c5b963769539c8a7c9bd154585686d263c7d6d8a (patch) | |
| tree | c1bc4129d94e51c5e68ed4b7c1888ae120aac3fd /deprecated/config.mk.in | |
| parent | ce15ec7b787479ca4c7295863ea7fa5cfdd16755 (diff) | |
removed GF/deprecated
Diffstat (limited to 'deprecated/config.mk.in')
| -rw-r--r-- | deprecated/config.mk.in | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/deprecated/config.mk.in b/deprecated/config.mk.in deleted file mode 100644 index e8a8ab567..000000000 --- a/deprecated/config.mk.in +++ /dev/null @@ -1,37 +0,0 @@ -# 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@" - |