X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2Fdebian%2Frules;h=2578e3efd7431b369f61db2709cd1c71af122e89;hb=d2c60bae1c4badba0a0f29e3fd2faed6d3a1869e;hp=86221bf6f618358628155f91cf5ec69d4845724d;hpb=cf497123176d912bdef9baa16c25ace0ad9477fe;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/debian/rules b/helm/DEVEL/lablgtkmathview/debian/rules
index 86221bf6f..2578e3efd 100755
--- a/helm/DEVEL/lablgtkmathview/debian/rules
+++ b/helm/DEVEL/lablgtkmathview/debian/rules
@@ -24,7 +24,7 @@ build-stamp:
 
 	# Add here commands to compile the package.
 	$(MAKE)
-	-test -x /usr/bin/ocamlopt && $(MAKE) opt
+	if [ -x /usr/bin/ocamlopt ]; then $(MAKE) opt; else true; fi
 
 	touch build-stamp
 
@@ -46,7 +46,7 @@ install: build
 
 	# trick: redifine CAMLLIB so that findlibd doesn't try to modify the
 	# official /var/lib/ocaml/ld.conf
-	$(MAKE) install PREFIX=$(TARGETDIR)/usr/lib/ocaml
+	$(MAKE) install PREFIX=$(TARGETDIR)/usr/lib/ocaml/3.06
 
 movefiles: install
 	dh_movefiles -p liblablgtkmathview-ocaml --sourcedir=$(TARGETDIR)