summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--testsuite/external/.ignore4
-rw-r--r--testsuite/external/Makefile4
-rw-r--r--testsuite/external/menhir-20120123.patch11
-rw-r--r--testsuite/external/ocaml-mysql-1.0.4.patch.disabled (renamed from testsuite/external/ocaml-mysql-1.0.4.patch)0
4 files changed, 16 insertions, 3 deletions
diff --git a/testsuite/external/.ignore b/testsuite/external/.ignore
index 4c54c9905..87206f2cc 100644
--- a/testsuite/external/.ignore
+++ b/testsuite/external/.ignore
@@ -5,6 +5,7 @@
*.zip
log-*
+log_*
advi
advi-1.10.2
@@ -44,7 +45,7 @@ framac
geneweb
gw-6.05-src
hevea
-hevea-1.10
+hevea-2.00
lablgtk
lablgtk-2.14.2
lablgtkextras
@@ -105,3 +106,4 @@ xmlm
xmlm-1.1.0
zen
zen_2.3.2
+._ZEN_2.3.2
diff --git a/testsuite/external/Makefile b/testsuite/external/Makefile
index 06d087bb8..c3a3b7fb1 100644
--- a/testsuite/external/Makefile
+++ b/testsuite/external/Makefile
@@ -426,7 +426,7 @@ distclean::
all: obrowser
# http://hevea.inria.fr/
-HEVEA=hevea-1.10
+HEVEA=hevea-2.00
${HEVEA}.tar.gz:
${WGET} http://hevea.inria.fr/distri/$@
hevea: ${HEVEA}.tar.gz
@@ -446,7 +446,7 @@ distclean::
rm -f ${HEVEA}.tar.gz
all: hevea
-# http://www.seas.upenn.edu/~bcpierce/unison//download/releases/
+# http://www.seas.upenn.edu/~bcpierce/unison/download/releases/
UNISON=unison-2.45.4
${UNISON}.tar.gz:
${WGET} http://www.seas.upenn.edu/~bcpierce/unison/download/releases/unison-2.45.4/$@
diff --git a/testsuite/external/menhir-20120123.patch b/testsuite/external/menhir-20120123.patch
new file mode 100644
index 000000000..a6a83bdf8
--- /dev/null
+++ b/testsuite/external/menhir-20120123.patch
@@ -0,0 +1,11 @@
+--- menhir-20120123/Makefile.arch.orig 2012-09-28 19:03:09.673811200 +0200
++++ menhir-20120123/Makefile.arch 2012-09-28 19:07:38.680344000 +0200
+@@ -1,7 +1,7 @@
+ # If ocaml reports that Sys.os_type is Unix, we assume Unix, otherwise
+ # we assume Windows.
+
+-ifeq "$(shell rm -f ./o.ml && echo print_endline Sys.os_type > ./o.ml && ocaml ./o.ml && rm -f ./o.ml)" "Unix"
++ifneq "$(shell rm -f ./o.ml && echo print_endline Sys.os_type > ./o.ml && ocaml ./o.ml && rm -f ./o.ml)" "Win32"
+ MENHIREXE := menhir
+ OBJ := o
+ else
diff --git a/testsuite/external/ocaml-mysql-1.0.4.patch b/testsuite/external/ocaml-mysql-1.0.4.patch.disabled
index 82da79dfe..82da79dfe 100644
--- a/testsuite/external/ocaml-mysql-1.0.4.patch
+++ b/testsuite/external/ocaml-mysql-1.0.4.patch.disabled