[Pkg-ocaml-maint-commits] [SCM] jocaml packaging branch, master, updated. debian/3.11.1-1-2-ga946b4d

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit a946b4d558092c6d10a2b3b1d035552534f39ef6
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Sat Jul 18 13:32:42 2009 +0200

    Include /usr/lib/jocaml/jocamltoploop is sometimes useful

diff --git a/debian/jocamlmktop b/debian/jocamlmktop
index 753e5b3..f032a31 100755
--- a/debian/jocamlmktop
+++ b/debian/jocamlmktop
@@ -6,7 +6,7 @@
 
 set -e
 
-jocamlc -linkall toplevellib.cma "$@" topstart.cmo
+jocamlc -I /usr/lib/jocaml/jocamltoploop/ -linkall toplevellib.cma "$@" topstart.cmo
 
 if [[ $? -eq 0 ]] ; then
   TOP=`echo $@ | sed -n 's/.*-o \([^ ]*\).*/\1/gp'`

-- 
jocaml packaging