X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2Fdebian%2Frules;h=2578e3efd7431b369f61db2709cd1c71af122e89;hb=58cc9aa288286beb79f78ce4546d5a4bebde54e5;hp=c73636002cbae24ef49b1da6ab826e24736cbfff;hpb=4020414d9bc31b545e311760045d4ce8f0645916;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/debian/rules b/helm/DEVEL/lablgtkmathview/debian/rules
index c73636002..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)
@@ -68,7 +68,7 @@ binary-arch: build install
 	dh_link -s
 	dh_strip -s
 	dh_compress -s
-	dh_ocamlld -p liblablgtkmathview-ocaml /usr/lib/ocaml/lablgtkmathview
+# 	dh_ocamlld -p liblablgtkmathview-ocaml /usr/lib/ocaml/lablgtkmathview
 	dh_fixperms -s
 	dh_installdeb -s
 	dh_shlibdeps -s