1--- javalib-2.3-orig/configure.sh 2013-10-30 08:35:30.000000000 +0100
2+++ javalib-2.3/configure.sh 2014-07-06 17:28:39.025066199 +0200
3@@ -44,7 +44,7 @@
4 DESTDIR=
5 # The ocamlpath variable for the compiler to locate the locally-installed
6 # packages (depends on LOCALDEST)
7-OCAMLPATH=
8+#OCAMLPATH=
9 # The packages that need to be made in addition to Savalib / Sawja
10 MAKEDEP=
11 # The packages that need to be made in addition to Savalib / Sawja