mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-24 10:22:50 -06:00
make gfcc makes old gfcc; use make newgfcc for the format produced by gfc
This commit is contained in:
@@ -199,7 +199,11 @@ gfc:
|
|||||||
mv gfc ../bin/
|
mv gfc ../bin/
|
||||||
|
|
||||||
gfcc:
|
gfcc:
|
||||||
# $(GHMAKE) $(GHCOPTFLAGS) -o gfcc GF/Canon/GFCC/Shell.hs
|
$(GHMAKE) $(GHCOPTFLAGS) -o gfcc GF/Canon/GFCC/Shell.hs
|
||||||
|
strip gfcc
|
||||||
|
mv gfcc ../bin/
|
||||||
|
|
||||||
|
newgfcc:
|
||||||
$(GHMAKE) $(GHCOPTFLAGS) -o gfcc GF/Devel/Shell.hs
|
$(GHMAKE) $(GHCOPTFLAGS) -o gfcc GF/Devel/Shell.hs
|
||||||
strip gfcc
|
strip gfcc
|
||||||
mv gfcc ../bin/
|
mv gfcc ../bin/
|
||||||
|
|||||||
Reference in New Issue
Block a user