X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fgdome_xslt%2Fdebian%2Frules;h=48dcdb7fb9e1066378f998aaae5f438f5b350899;hb=b46f5a395bc78ea156ab2381d917608049493f1d;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..48dcdb7fb 100755
--- a/helm/DEVEL/gdome_xslt/debian/rules
+++ b/helm/DEVEL/gdome_xslt/debian/rules
@@ -6,39 +6,27 @@
 #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
 
 configure: configure-stamp
 configure-stamp:
 	dh_testdir
-
-	cd ocaml/gdome_xslt/; ./configure
+	./configure --prefix=/usr
 	touch configure-stamp
 
-
 build: build-stamp
-
 build-stamp: configure-stamp 
 	dh_testdir
-
-	$(MAKE) -C C/gdome_xslt/
-	$(MAKE) -C ocaml/gdome_xslt/
-	-if [ -x /usr/bin/ocamlopt ]; then \
-		$(MAKE) -C ocaml/gdome_xslt/ opt; \
-	fi
-
+	$(MAKE)
 	touch build-stamp
 
 clean:
 	dh_testdir
 	dh_testroot
 	rm -f build-stamp configure-stamp
-
-	-$(MAKE) -C ocaml/gdome_xslt/ distclean
-	-$(MAKE) -C C/gdome_xslt/ clean
-
+	-$(MAKE) clean
 	dh_clean
 
 install: build
@@ -46,16 +34,11 @@ install: build
 	dh_testroot
 	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
-
-movefiles: install
-	dh_movefiles -p libgdome2-xslt-ocaml --sourcedir=$(TARGETDIR)
+	$(MAKE) install DESTDIR=$(CURDIR)/debian/tmp
+	dh_movefiles
 
 # Build architecture-dependent files here.
-binary-arch: build movefiles
+binary-arch: build install
 	dh_testdir
 	dh_testroot
 	dh_installdocs -s
@@ -66,7 +49,6 @@ binary-arch: build movefiles
 	dh_link -s
 	dh_strip -s
 	dh_compress -s
-	dh_ocamlld -p libgdome2-xslt-ocaml /usr/lib/ocaml/gdome2-xslt
 	dh_fixperms -s
 	dh_installdeb -s
 	dh_shlibdeps -s
@@ -75,4 +57,4 @@ binary-arch: build movefiles
 	dh_builddeb -s
 
 binary: binary-arch
-.PHONY: build clean movefiles binary-arch binary install configure
+.PHONY: build clean binary-arch binary install configure