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

diff --git a/helm/DEVEL/lablgtkmathview/debian/rules b/helm/DEVEL/lablgtkmathview/debian/rules
index f6e084d78..832767abb 100755
--- a/helm/DEVEL/lablgtkmathview/debian/rules
+++ b/helm/DEVEL/lablgtkmathview/debian/rules
@@ -5,15 +5,15 @@
 # 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
+OCAMLABI := $(shell ocamlc -version)
+OCAMLLIBDIR := $(shell ocamlc -where)
+OFILES := $(patsubst %.in,%,$(shell ls debian/*.in))
 
+ocamlinit:
+	for f in $(OFILES); do sed -e 's/@OCamlABI@/$(OCAMLABI)/g' $$f.in > $$f; done
 configure: configure-stamp
 configure-stamp:
 	dh_testdir
-	# Add here commands to configure the package.
 	./configure
 
 	touch configure-stamp
@@ -22,9 +22,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 +32,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 +40,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 debian/tmp$(OCAMLLIBDIR)
+	$(MAKE) install PREFIX=debian/tmp$(OCAMLLIBDIR)
 
-# 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 -- -VF:OCamlABI="$(OCAMLABI)"
+	dh_md5sums
+	dh_builddeb
+
+binary: binary-arch
+.PHONY: build clean binary-arch binary install configure