diff options
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@ |