X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2Fdebian%2Frules;h=8b6ed0bb5febbb844e6584e1398737d5d8852283;hb=d3c72d6856cd185e5b3e9f2e8b928b78c7031ed1;hp=3057fad83e23d8ccbb5db421838d322aeca44d1a;hpb=d59d2f93956bcbe4dd7bb3407e3c53de8b66c003;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/debian/rules b/helm/DEVEL/lablgtkmathview/debian/rules
index 3057fad83..8b6ed0bb5 100755
--- a/helm/DEVEL/lablgtkmathview/debian/rules
+++ b/helm/DEVEL/lablgtkmathview/debian/rules
@@ -6,6 +6,7 @@
 #export DH_VERBOSE=1
 
 TARGETDIR = debian/liblablgtkmathview-ocaml-dev
+OCAML_STDLIB_DIR = $(shell ocamlc -where)
 
 configure: configure-stamp
 configure-stamp:
@@ -31,6 +32,7 @@ clean:
 	-$(MAKE) distclean
 
 	dh_clean
+distclean: clean
 
 install: build
 	dh_testdir
@@ -38,7 +40,7 @@ install: build
 	dh_clean -k
 	dh_installdirs -s
 
-	$(MAKE) install PREFIX=$(TARGETDIR)/usr/lib/ocaml/3.06
+	$(MAKE) install PREFIX=$(TARGETDIR)$(OCAML_STDLIB_DIR)
 
 movefiles: install
 	dh_install -p liblablgtkmathview-ocaml --sourcedir=$(TARGETDIR)