diff options
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/Makefile b/src/Makefile index ce5873e52..cb7593c55 100644 --- a/src/Makefile +++ b/src/Makefile @@ -4,8 +4,7 @@ include config.mk GHMAKE=$(GHC) --make GHCXMAKE=ghcxmake GHCFLAGS=-package lang -package util -fglasgow-exts $(CPPFLAGS) $(LDFLAGS) -GHCOPTFLAGS=$(GHCFLAGS) -##GHCOPTFLAGS=-O $(GHCFLAGS) +GHCOPTFLAGS=-O $(GHCFLAGS) GHCFUDFLAG= JAVAFLAGS=-target 1.4 -source 1.4 @@ -29,6 +28,8 @@ BIN_DIST_DIR=$(DIST_DIR)-$(host) all: unix +temp: today noopt + unix: today nofud-links opt windows: today nofud-links justwindows @@ -41,6 +42,10 @@ opt: $(GHMAKE) $(GHCOPTFLAGS) $(GHCINCLUDENOFUD) GF.hs -o gf strip gf mv gf ../bin/ +noopt: + $(GHMAKE) $(GHCFLAGS) $(GHCINCLUDENOFUD) GF.hs -o gf + strip gf + mv gf ../bin/ ghc: nofud |