X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fdebian%2Frules;h=83dee8f5cee759741013d55a45cbcfeb4d43d8dc;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=1d19eea2189ae2c08f2d8d87dda5443aeb876232;hpb=89f66fb120d2050dba35498581874d607afbbbd6;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/debian/rules b/helm/DEVEL/ocaml-http/debian/rules
index 1d19eea21..83dee8f5c 100755
--- a/helm/DEVEL/ocaml-http/debian/rules
+++ b/helm/DEVEL/ocaml-http/debian/rules
@@ -1,9 +1,9 @@
 #!/usr/bin/make -f
 
 #export DH_VERBOSE=1
-export DH_COMPAT=4
 
-TARGETDIR=$(CURDIR)/debian/libhttp-ocaml-dev
+TARGETDIR = $(CURDIR)/debian/libhttp-ocaml-dev
+OCAML_LIB_DIR = $(shell ocamlc -where)
 
 build: build-stamp
 build-stamp:
@@ -24,8 +24,7 @@ install: build
 	dh_testroot
 	dh_clean -k
 	dh_installdirs
-	$(MAKE) install DESTDIR=$(TARGETDIR)/usr/lib/ocaml
-	$(MAKE) doc
+	$(MAKE) install DESTDIR=$(TARGETDIR)$(OCAML_LIB_DIR)
 
 binary-arch: build install
 	dh_testdir