X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fdebian%2Frules;h=498a5540e8589ad500c36048827361d959efbb6b;hb=b5703de4f7697426ebda94fce2558add7c4f0285;hp=1d19eea2189ae2c08f2d8d87dda5443aeb876232;hpb=d4993a3584bd83a87f642e8766eb86c0a24b682b;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/debian/rules b/helm/DEVEL/ocaml-http/debian/rules
index 1d19eea21..498a5540e 100755
--- a/helm/DEVEL/ocaml-http/debian/rules
+++ b/helm/DEVEL/ocaml-http/debian/rules
@@ -3,7 +3,8 @@
 #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,7 +25,7 @@ install: build
 	dh_testroot
 	dh_clean -k
 	dh_installdirs
-	$(MAKE) install DESTDIR=$(TARGETDIR)/usr/lib/ocaml
+	$(MAKE) install DESTDIR=$(TARGETDIR)$(OCAML_LIB_DIR)
 	$(MAKE) doc
 
 binary-arch: build install