X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2Fdebian%2Frules;h=ed0e94113cffed374a5a59264c61e2744c0b3e15;hb=b9af9f1c0de6a1735b492f5c793a87a8fce218cc;hp=f6e084d780098d7a5b695a9bd1665b3ffe875f7a;hpb=b2d90f84d53896b5b195e168ac2c6ba4416245d5;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/debian/rules b/helm/DEVEL/lablgtkmathview/debian/rules
index f6e084d78..ed0e94113 100755
--- a/helm/DEVEL/lablgtkmathview/debian/rules
+++ b/helm/DEVEL/lablgtkmathview/debian/rules
@@ -5,15 +5,12 @@
 # Uncomment this to turn on verbose mode.
 #export DH_VERBOSE=1
 
-# This is the debhelper compatability version to use.
-export DH_COMPAT=3
-
-TARGETDIR = debian/liblablgtkmathview-ocaml-dev
+TARGETDIR = debian/tmp
+OCAML_STDLIB_DIR = $(shell ocamlc -where)
 
 configure: configure-stamp
 configure-stamp:
 	dh_testdir
-	# Add here commands to configure the package.
 	./configure
 
 	touch configure-stamp
@@ -22,9 +19,8 @@ build: configure-stamp build-stamp
 build-stamp:
 	dh_testdir
 
-	# Add here commands to compile the package.
 	$(MAKE)
-	-test -x /usr/bin/ocamlopt && $(MAKE) opt
+	if [ -x /usr/bin/ocamlopt ]; then $(MAKE) opt; else true; fi
 
 	touch build-stamp
 
@@ -33,7 +29,6 @@ clean:
 	dh_testroot
 	rm -f build-stamp configure-stamp
 
-	# Add here commands to clean up after the build process.
 	-$(MAKE) distclean
 
 	dh_clean
@@ -42,39 +37,29 @@ install: build
 	dh_testdir
 	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) install PREFIX=$(TARGETDIR)/usr/lib/ocaml
+	dh_installdirs
 
-movefiles: install
-	dh_movefiles -p liblablgtkmathview-ocaml --sourcedir=$(TARGETDIR)
+	mkdir -p $(TARGETDIR)$(OCAML_STDLIB_DIR)
+	$(MAKE) install PREFIX=$(TARGETDIR)$(OCAML_STDLIB_DIR)
 
-# Build architecture-independent files here.
-binary-indep: build movefiles
-# We have nothing to do by default.
-
-# Build architecture-dependent files here.
 binary-arch: build install
+	dh_install
 	dh_testdir
 	dh_testroot
-	dh_installdocs -s
-	dh_installexamples -s
-	dh_installmanpages -s
-	dh_installinfo -s
-#	dh_undocumented
-	dh_installchangelogs -s ChangeLog
-	dh_link -s
-	dh_strip -s
-	dh_compress -s
-	dh_ocamlld -p liblablgtkmathview-ocaml /usr/lib/ocaml/lablgtkmathview
-	dh_fixperms -s
-	dh_installdeb -s
-	dh_shlibdeps -s
-	dh_gencontrol -s
-	dh_md5sums -s
-	dh_builddeb -s
-
-binary: binary-indep binary-arch
-.PHONY: build clean binary-indep binary-arch binary install configure
+	dh_installdocs
+	dh_installexamples
+	dh_installman
+	dh_installinfo
+	dh_installchangelogs ChangeLog
+	dh_link
+	dh_strip
+	dh_compress
+	dh_fixperms
+	dh_installdeb
+	dh_shlibdeps
+	dh_gencontrol
+	dh_md5sums
+	dh_builddeb
+
+binary: binary-arch
+.PHONY: build clean binary-arch binary install configure