diff options
| author | aarne <unknown> | 2004-08-10 11:14:31 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-08-10 11:14:31 +0000 |
| commit | 310e3e100182d04938d637fbc35fc60679069c84 (patch) | |
| tree | af47c72b9b0bd7c7ec1eeb95d42456c25b81fc96 /src/Makefile | |
| parent | dd981f9ffcbbfbbcc97a7deffa5f67f7dfe57163 (diff) | |
mkLib
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/Makefile b/src/Makefile index 5effe1579..0d2a1b615 100644 --- a/src/Makefile +++ b/src/Makefile @@ -111,12 +111,17 @@ tracing: prof: GHCOPTFLAGS += -prof -auto-all -auto-dicts prof: all +lib: + cd ../grammars + sh mkLib.sh + dist: -rm -rf $(DIST_DIR) mkdir $(DIST_DIR) cvs export -d $(DIST_DIR) -rHEAD GF2.0 cd $(DIST_DIR)/src && autoconf && rm -rf autom4te.cache find $(DIST_DIR) -name .cvsignore -exec rm -f {} ';' + cd $(DIST_DIR)/grammars && sh mkLib.sh cd $(DIST_DIR) && rm -rf $(NOT_IN_DIST) gtar -zcf $(DIST_DIR).tar.gz $(DIST_DIR) rm -rf $(DIST_DIR) |