diff options
| author | bringert <unknown> | 2004-06-22 08:56:20 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2004-06-22 08:56:20 +0000 |
| commit | 9cc3e87735e13ad1999793b2db00890486d1e0ee (patch) | |
| tree | 2116be2e09f21658b6429f4ede6c9d14072c5207 /src/config.mk.in | |
| parent | 464a2937cbabc4038e873914a94769b859f2fe82 (diff) | |
Added configure script, added install target, changed MkToday to a shell script to avoid a build-time dependency on runhugs
Diffstat (limited to 'src/config.mk.in')
| -rw-r--r-- | src/config.mk.in | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/config.mk.in b/src/config.mk.in new file mode 100644 index 000000000..614902d5b --- /dev/null +++ b/src/config.mk.in @@ -0,0 +1,8 @@ +prefix = @prefix@ +exec_prefix = @exec_prefix@ +bindir = $(exec_prefix)/bin + +INSTALL = @INSTALL@ + +GHC = @GHC@ +GHCI = @GHCI@ |