diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/src/Makefile b/src/Makefile index e8f26034a..e46638981 100644 --- a/src/Makefile +++ b/src/Makefile @@ -3,8 +3,7 @@ include config.mk GHMAKE=$(GHC) --make GHCXMAKE=ghcxmake -#GHCFLAGS= -package util -fglasgow-exts -optP'$(CPPFLAGS)' -optl'$(LDFLAGS)' -GHCFLAGS= -package util -fglasgow-exts +GHCFLAGS= -fglasgow-exts -package util GHCOPTFLAGS=-O2 GHCFUDFLAG= JAVAFLAGS=-target 1.4 -source 1.4 @@ -30,6 +29,15 @@ ifeq ("$(READLINE)","readline") GHCFLAGS += -package readline -DUSE_READLINE endif +ifneq ("$(CPPFLAGS)","") + GHCFLAGS += -optP'$(CPPFLAGS)' +endif + +ifneq ("$(LDFLAGS)","") + GHCFLAGS += -optl'$(LDFLAGS)' +endif + + ifeq ("$(ENABLE_JAVA)", "yes") BUILD_JAR=jar else |