summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorbringert <bringert@cs.chalmers.se>2007-07-08 18:32:45 +0000
committerbringert <bringert@cs.chalmers.se>2007-07-08 18:32:45 +0000
commit0c05a33d82346560b375d2473588c8a16a014d62 (patch)
treea7b36db9fe73c9b218281d15330d958a0a2d5614
parent26fba297463fea26946da894004ad7dce0e8a9dc (diff)
Use darcs dist instead of darcs get in make dist. This should get around the problem with partial repositories.
-rw-r--r--src/Makefile5
1 files changed, 3 insertions, 2 deletions
diff --git a/src/Makefile b/src/Makefile
index e59eb2c28..8c38af09f 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -214,8 +214,9 @@ lib:
dist:
-rm -rf $(DIST_DIR)
- darcs get --repo-name=$(DIST_DIR) ..
- rm -rf $(DIST_DIR)/_darcs
+ darcs dist --dist-name=$(DIST_DIR)
+ tar -zxf ../$(DIST_DIR).tar.gz
+ rm ../$(DIST_DIR).tar.gz
cd $(DIST_DIR)/src && perl -pi -e "s/^AC_INIT\(\[GF\],\[[^\]]*\]/AC_INIT([GF],[$(PACKAGE_VERSION)]/" configure.ac
cd $(DIST_DIR)/src && autoconf && rm -rf autom4te.cache
# cd $(DIST_DIR)/grammars && sh mkLib.sh