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
5 # The ocamlpath variable for the compiler to locate the locally-installed
6 # packages (depends on LOCALDEST)
9 # The packages that need to be made in addition to Savalib / Sawja
11 # The packages that need to be made in addition to Savalib / Sawja