diff options
| author | bringert <bringert@cs.chalmers.se> | 2006-12-22 13:43:32 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2006-12-22 13:43:32 +0000 |
| commit | 7abd4c00a225a9a61c1207617211e846464262d2 (patch) | |
| tree | 0efaa13f54782339bfcfb46caebffeed848357da /src/Makefile | |
| parent | a335b29c0a85ea81ee1017f18dd6f2595d2a5227 (diff) | |
Added gfcc2c to GF repo.
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/Makefile b/src/Makefile index f6458543f..856e668a2 100644 --- a/src/Makefile +++ b/src/Makefile @@ -112,6 +112,9 @@ clean: -rm -f $(GFEDITOR)/de/uka/ilkd/key/ocl/gf/*.class -rm -f gf.wixobj -rm -f ../bin/$(GF_EXE) + $(MAKE) -C tools/c clean + $(MAKE) -C ../lib/c clean + -rm -f ../bin/gfcc2c distclean: clean -rm -f JavaGUI/gf-java.jar jgf @@ -182,6 +185,12 @@ gfcc: $(GHMAKE) $(GHCOPTFLAGS) -o gfcc GF/Canon/GFCC/RunGFCC.hs strip gfcc mv gfcc ../bin/ + +gfcc2c: + $(MAKE) -C tools/c + $(MAKE) -C ../lib/c + mv tools/c/gfcc2c ../bin + # # Distribution # |