X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fgdome_xslt%2Fdebian%2Frules;h=c10d3e9a51c3f4379fa620b1b10022de23ca18ce;hb=ba64642ca7771cd9cc7b9f73476c8f608ffeeda5;hp=a4d8a5bc743ad2cfdedc27f81412ad3329bd4815;hpb=9db59fb2f254e37ae424d80cccd8ecc1c65ab6a8;p=helm.git

diff --git a/helm/DEVEL/gdome_xslt/debian/rules b/helm/DEVEL/gdome_xslt/debian/rules
index a4d8a5bc7..c10d3e9a5 100755
--- a/helm/DEVEL/gdome_xslt/debian/rules
+++ b/helm/DEVEL/gdome_xslt/debian/rules
@@ -6,7 +6,7 @@
 #export DH_VERBOSE=1
 
 # This is the debhelper compatibility version to use.
-export DH_COMPAT=3
+export DH_COMPAT=4
 
 TARGETDIR = debian/libgdome2-xslt-ocaml-dev
 
@@ -47,9 +47,7 @@ install: build
 	dh_clean -k
 	dh_installdirs -s
 
-    # trick: redifine CAMLLIB so that findlibd doesn't try to modify the
-	# official /var/lib/ocaml/ld.conf
-	CAMLLIB=$(CURDIR) $(MAKE) -C ocaml/gdome_xslt/ install PREFIX=$(CURDIR)/$(TARGETDIR)/usr/lib/ocaml
+	$(MAKE) -C ocaml/gdome_xslt/ install PREFIX=$(CURDIR)/$(TARGETDIR)/usr/lib/ocaml
 
 movefiles: install
 	dh_movefiles -p libgdome2-xslt-ocaml --sourcedir=$(TARGETDIR)