Use current upstream source for cudf

rdicosmo · Nov 10, 2012 · 251a223 · 251a223
1 parent 6e86353
commit 251a223
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/src_ext/Makefile b/src_ext/Makefile
@@ -8,7 +8,7 @@ depends.ocp: depends.ocp.boot
 clone: cudf.stamp extlib.stamp ocaml-re.stamp ocamlgraph.stamp dose.stamp ocaml-arg.stamp
 
 cudf-0.6.3.tar.gz:
-	$(FETCH) http://gforge.info.ucl.ac.be/frs/download.php/190/cudf-0.6.3.tar.gz
+	$(FETCH) -k https://gforge.inria.fr/frs/download.php/31543/cudf-0.6.3.tar.gz
 
 cudf.stamp: cudf-0.6.3.tar.gz
 	tar xfz cudf-0.6.3.tar.gz
@@ -25,6 +25,14 @@ extlib.stamp: extlib-1.5.3.tar.gz
 	mv extlib-1.5.3 extlib
 	@touch $@
 
+dose3-git:
+	@if [ -e dose ]; then \
+	  cd dose; \
+	  git pull; \
+	else \
+	  git clone --depth 1 git://scm.gforge.inria.fr/dose/dose.git dose; \
+	fi
+
 dose3-3.1.2.tar.gz:
 	$(FETCH) https://gforge.inria.fr/frs/download.php/31595/dose3-3.1.2.tar.gz