Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Use current upstream source for cudf

  • Loading branch information...
commit 251a223b2cc6cdfc25f9d7be6e3c8b9f6db3a84c 1 parent 6e86353
@rdicosmo rdicosmo authored
Showing with 9 additions and 1 deletion.
  1. +9 −1 src_ext/Makefile
View
10 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
Please sign in to comment.
Something went wrong with that request. Please try again.