diff options
| author | Ian Lynagh <igloo@earth.li> | 2008-04-20 19:58:56 +0000 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2008-04-20 19:58:56 +0000 |
| commit | 60714e2c04c5814faf560be5988ff4731ea70a65 (patch) | |
| tree | e048e4636bb2f45cd9d4cc746cf459cb711b0741 /mk | |
| parent | 4ea7a5296b3693ad3818a13ab396181366963a79 (diff) | |
| download | haskell-60714e2c04c5814faf560be5988ff4731ea70a65.tar.gz | |
Make the integer library to use more configurable
Now you just set INTEGER_LIBRARY=integer-foo in build.mk
Diffstat (limited to 'mk')
| -rw-r--r-- | mk/config.mk.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/mk/config.mk.in b/mk/config.mk.in index 7d0e025eb0..daa6d699c9 100644 --- a/mk/config.mk.in +++ b/mk/config.mk.in @@ -349,6 +349,9 @@ MakefileDeps=YES #------------------------------------------------------------------------------ # Options for Libraries +# Which directory (in libraries/) contains the integer library? +INTEGER_LIBRARY=integer-gmp + # What extra ways to build the libraries in # In addition to the normal sequential way, the default is to also build # profiled prelude libraries. |