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

diff --git a/helm/DEVEL/lablgtkmathview/debian/rules b/helm/DEVEL/lablgtkmathview/debian/rules
index ed0e94113..832767abb 100755
--- a/helm/DEVEL/lablgtkmathview/debian/rules
+++ b/helm/DEVEL/lablgtkmathview/debian/rules
@@ -5,9 +5,12 @@
 # Uncomment this to turn on verbose mode.
 #export DH_VERBOSE=1
 
-TARGETDIR = debian/tmp
-OCAML_STDLIB_DIR = $(shell ocamlc -where)
+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
@@ -39,8 +42,8 @@ install: build
 	dh_clean -k
 	dh_installdirs
 
-	mkdir -p $(TARGETDIR)$(OCAML_STDLIB_DIR)
-	$(MAKE) install PREFIX=$(TARGETDIR)$(OCAML_STDLIB_DIR)
+	mkdir -p debian/tmp$(OCAMLLIBDIR)
+	$(MAKE) install PREFIX=debian/tmp$(OCAMLLIBDIR)
 
 binary-arch: build install
 	dh_install
@@ -57,7 +60,7 @@ binary-arch: build install
 	dh_fixperms
 	dh_installdeb
 	dh_shlibdeps
-	dh_gencontrol
+	dh_gencontrol -- -VF:OCamlABI="$(OCAMLABI)"
 	dh_md5sums
 	dh_builddeb