[r2005-01-03 12:05:58 by afrisch] Empty log message

Original author: afrisch
Date: 2005-01-03 12:05:59+00:00

CHANGES

@@ -14,6 +14,7 @@ Since 0.2.1
 - add "system: Latin1->Latin1", "exit: (0--255)->Empty" 
 - (e :? t) raises an exception when e doesn't have type t;
   the exception is an explanation of why this is not the case.
+- apps-cduce-cvs GODI package is updatable
 
 
 

Makefile

@@ -60,8 +60,17 @@ package: clean
 	tar czf $(PACKAGE).tar.gz --exclude CVS --exclude ".#*" $(PACKAGE)
 	rm -Rf $(PACKAGE)
 
+#cvs_snapshot:
+#	$(MAKE) package VERSION=cvs`date +%Y%m%d`
+
 cvs_snapshot:
-	$(MAKE) package VERSION=cvs`date +%Y%m%d`
+	(cd /tmp; \
+	rm -Rf cduce; \
+	cvs -z3 -d ":pserver:anonymous@cvs.cduce.org:/cvsroot" co cduce; \
+	tar czf cduce-cvs.tar.gz cduce; \
+	rm -Rf cduce; \
+	scp cduce-cvs.tar.gz cduce@iris.ens.fr:public_html/download; \
+	rm -f cduce-cvs.tar.gz)
 
 OCAML_STDLIBDIR := $(shell ocamlc -where)
 .PHONY: .ocamlinit