X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2Fdebian%2Frules;h=832767abbe788849c7bf761960ba930399005707;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=5893a66221f867a69d950e7fde83218eaf29b693;hpb=fc35fbb35a01c110f221c52661f1193ea5664aa6;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/debian/rules b/helm/DEVEL/lablgtkmathview/debian/rules
index 5893a6622..832767abb 100755
--- a/helm/DEVEL/lablgtkmathview/debian/rules
+++ b/helm/DEVEL/lablgtkmathview/debian/rules
@@ -5,13 +5,14 @@
 # Uncomment this to turn on verbose mode.
 #export DH_VERBOSE=1
 
-TARGETDIR = debian/liblablgtkmathview-ocaml-dev
-OCAML_STDLIB_DIR = $(shell ocamlc -where)
-
-include debian/autodebian.make
+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: autodebian-stamp
+configure-stamp:
 	dh_testdir
 	./configure
 
@@ -26,7 +27,7 @@ build-stamp:
 
 	touch build-stamp
 
-clean: autodebian-clean
+clean:
 	dh_testdir
 	dh_testroot
 	rm -f build-stamp configure-stamp
@@ -34,36 +35,34 @@ clean: autodebian-clean
 	-$(MAKE) distclean
 
 	dh_clean
-distclean: clean autodebian-distclean
 
 install: build
 	dh_testdir
 	dh_testroot
 	dh_clean -k
-	dh_installdirs -s
-
-	$(MAKE) install PREFIX=$(TARGETDIR)$(OCAML_STDLIB_DIR)
+	dh_installdirs
 
-movefiles: install
-	dh_install -p liblablgtkmathview-ocaml --sourcedir=$(TARGETDIR)
+	mkdir -p debian/tmp$(OCAMLLIBDIR)
+	$(MAKE) install PREFIX=debian/tmp$(OCAMLLIBDIR)
 
 binary-arch: build install
+	dh_install
 	dh_testdir
 	dh_testroot
-	dh_installdocs -s
-	dh_installexamples -s
-	dh_installmanpages -s
-	dh_installinfo -s
-	dh_installchangelogs -s ChangeLog
-	dh_link -s
-	dh_strip -s
-	dh_compress -s
-	dh_fixperms -s
-	dh_installdeb -s
-	dh_shlibdeps -s
-	dh_gencontrol -s
-	dh_md5sums -s
-	dh_builddeb -s
+	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