X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fgdome_xslt%2Fdebian%2Frules;h=52a3e2ea36d651a236917c0c593a2a519773a20c;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=f738c4d58fa71db80a33b1cf26f38a77bc71aaae;hpb=57f5d19fdce7c88486fe834d1150c519007d205d;p=helm.git

diff --git a/helm/DEVEL/gdome_xslt/debian/rules b/helm/DEVEL/gdome_xslt/debian/rules
index f738c4d58..52a3e2ea3 100755
--- a/helm/DEVEL/gdome_xslt/debian/rules
+++ b/helm/DEVEL/gdome_xslt/debian/rules
@@ -1,3 +1,10 @@
 #!/usr/bin/make -f
 include /usr/share/cdbs/1/rules/debhelper.mk
 include /usr/share/cdbs/1/class/autotools.mk
+
+OCAMLABI := $(shell ocamlc -version)
+OFILES := $(patsubst %.in,%,$(shell ls debian/*.in))
+DEB_DH_GENCONTROL_ARGS = -- -VF:OCamlABI="$(OCAMLABI)"
+
+ocamlinit:
+	for f in $(OFILES); do sed -e 's/@OCamlABI@/$(OCAMLABI)/g' $$f.in > $$f; done