diff options
| author | bringert <unknown> | 2005-05-09 14:29:25 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2005-05-09 14:29:25 +0000 |
| commit | 3ce7d2ca18d9a00e150b1e03b32b59a1249ad6ba (patch) | |
| tree | 37fe6a1868f387b818c2098bba3648b56e437287 /src | |
| parent | 2805a8ee2cb0f431301b09443709b78699acd671 (diff) | |
Use GHCFLAGS when compiling for windows.
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/Makefile b/src/Makefile index 1ef11a6a4..3d6112b5b 100644 --- a/src/Makefile +++ b/src/Makefile @@ -33,9 +33,9 @@ temp: today touch-files noopt build: - $(GHMAKE) $(GHCFLAGS) GF.hs -o gf-bin - strip gf-bin - mv gf-bin ../bin/gf + $(GHMAKE) $(GHCFLAGS) GF.hs -o gf + strip gf + mv gf ../bin/gf opt: GHCFLAGS += $(GHCOPTFLAGS) opt: build @@ -55,15 +55,15 @@ gft: mv gft-bin ../bin/gft justwindows: - $(GHMAKE) $(GHCOPTFLAGS) GF.hs -o gf.exe + $(GHMAKE) $(GHCFLAGS) $(GHCOPTFLAGS) GF.hs -o gf.exe strip gf.exe mv gf.exe ../bin/ api: - $(GHMAKE) $(GHCFLAGS) GF/API.hs + $(GHMAKE) $(GHCFLAGS) $(GHCOPTFLAGS)GF/API.hs shell: - $(GHMAKE) $(GHCFLAGS) GF/Shell.hs + $(GHMAKE) $(GHCFLAGS) $(GHCOPTFLAGS) GF/Shell.hs clean: -rm -rf */*.o */*.hi *.o *.hi */*.ghi *.ghi *~ */*~ |