diff options
| author | krasimir <krasimir@chalmers.se> | 2009-12-13 18:50:29 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-12-13 18:50:29 +0000 |
| commit | f85232947e74ee7ef8c7b0ad2338212e7e68f1be (patch) | |
| tree | 667b886a5e3a4b026a63d4e3597f32497d824761 /src/config.mk.in | |
| parent | d88a865faff59c98fc91556ff8700b10ee5f2df8 (diff) | |
reorganize the directories under src, and rescue the JavaScript interpreter from deprecated
Diffstat (limited to 'src/config.mk.in')
| -rw-r--r-- | src/config.mk.in | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/src/config.mk.in b/src/config.mk.in deleted file mode 100644 index e8a8ab567..000000000 --- a/src/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@" - |