summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authoraarne <unknown>2004-08-10 11:14:31 +0000
committeraarne <unknown>2004-08-10 11:14:31 +0000
commit310e3e100182d04938d637fbc35fc60679069c84 (patch)
treeaf47c72b9b0bd7c7ec1eeb95d42456c25b81fc96
parentdd981f9ffcbbfbbcc97a7deffa5f67f7dfe57163 (diff)
mkLib
-rw-r--r--grammars/mkLib.sh54
-rw-r--r--src/Makefile5
2 files changed, 59 insertions, 0 deletions
diff --git a/grammars/mkLib.sh b/grammars/mkLib.sh
new file mode 100644
index 000000000..a45005a45
--- /dev/null
+++ b/grammars/mkLib.sh
@@ -0,0 +1,54 @@
+rm -rf ../lib
+mkdir -pv lib
+mkdir -pv lib/letter
+# mkdir -pv lib/logic
+mkdir -pv lib/numerals
+mkdir -pv lib/prelude
+mkdir -pv lib/resource
+mkdir -pv lib/resource/abstract
+mkdir -pv lib/resource/english
+mkdir -pv lib/resource/finnish
+mkdir -pv lib/resource/french
+mkdir -pv lib/resource/german
+mkdir -pv lib/resource/italian
+mkdir -pv lib/resource/romance
+mkdir -pv lib/resource/russian
+mkdir -pv lib/resource/swedish
+mkdir -pv lib/resource/doc
+mkdir -pv lib/database
+
+cp -pv letter/README lib/letter/
+cp -pv letter/mkLetter.gfs lib/letter/
+cp -pv letter/*.gf lib/letter/
+
+# cp -pv logic/*.gf lib/logic/
+
+cp -pv newnumerals/README lib/numerals/
+cp -pv newnumerals/*.gf lib/numerals/
+cp -pv newnumerals/mkNumerals.gfs lib/numerals/
+
+cp -pv prelude/README lib/prelude/
+cp -pv prelude/*.gf lib/prelude/
+
+cp -pv newresource/mkTest.gfs lib/resource/
+cp -pv newresource/mkParadigms.gfs lib/resource/
+cp -pv newresource/README lib/resource/
+cp -pv newresource/Makefile lib/resource/
+cp -pv newresource/index.html lib/resource/
+cp -pv newresource/abstract/*.gf lib/resource/abstract/
+cp -pv newresource/english/*.gf lib/resource/english/
+cp -pv newresource/finnish/*.gf lib/resource/finnish/
+cp -pv newresource/french/*.gf lib/resource/french/
+cp -pv newresource/german/*.gf lib/resource/german/
+cp -pv newresource/italian/*.gf lib/resource/italian/
+cp -pv newresource/romance/*.gf lib/resource/romance/
+cp -pv newresource/russian/*.gf lib/resource/russian/
+cp -pv newresource/swedish/*.gf lib/resource/swedish/
+
+cp -pv database/README lib/database/
+cp -pv database/*.gf lib/database/
+
+mv lib ..
+
+cd ../lib/resource
+make gfdoc
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)