diff options
| author | bringert <unknown> | 2005-05-19 12:48:00 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2005-05-19 12:48:00 +0000 |
| commit | fb90359e3273963985799595f00937169bc49fb9 (patch) | |
| tree | 8d578451e8c4ef4d13f407c34e091bf867dac5e5 /src/Makefile | |
| parent | a3bdf26f22cf21cdaace5d03ca04d0550e4b3ed8 (diff) | |
Allow setting GHCFLAGS with configure.
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/Makefile b/src/Makefile index fe55f32d0..30e4be8b6 100644 --- a/src/Makefile +++ b/src/Makefile @@ -3,7 +3,7 @@ include config.mk GHMAKE=$(GHC) --make GHCXMAKE=ghcxmake -GHCFLAGS= -fglasgow-exts -package util +GHCFLAGS+= -fglasgow-exts -package util GHCOPTFLAGS=-O2 GHCFUDFLAG= JAVAFLAGS=-target 1.4 -source 1.4 @@ -21,8 +21,8 @@ GRAMMAR_DIST_DIR=GF-grammars-$(PACKAGE_VERSION) SNAPSHOT_DIR=GF-$(shell date +%Y%m%d) -# use the temporary binary file name 'gf-bin' name to not clash with directory 'GF' -# on case insensitive file systems (such as MacOSX) +# use the temporary binary file name 'gf-bin' to not clash with directory 'GF' +# on case insensitive file systems (such as FAT) GF_EXE=gf$(EXEEXT) GF_EXE_TMP=gf-bin$(EXEEXT) GF_DOC_EXE=gfdoc$(EXEEXT) |