move GF.Devel.GF to GF

This commit is contained in:
kr.angelov
2008-05-22 14:32:49 +00:00
parent d696512b15
commit 2cd5f71178
3 changed files with 9 additions and 161 deletions

View File

@@ -207,7 +207,7 @@ gfc: gf3
gfi: gf3
gf3:
$(GHMAKE) $(GHCOPTFLAGS) $(GHCFLAGS) -o gf3 GF/Devel/GF.hs
$(GHMAKE) $(GHCOPTFLAGS) $(GHCFLAGS) -o gf3 GF.hs
strip $(GF3_EXE)
mv $(GF3_EXE) ../bin/