[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, master, updated. upstream/0.8-20-g72993ee

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 73a87cd345dc4605e174170336ea6451a7071975
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Thu Feb 26 14:44:00 2009 +0100

    Renaming: OCAMLRUN -> OCAML_RUNTIME_NOX

diff --git a/debian/rules b/debian/rules
index af7efcf..b1fc463 100755
--- a/debian/rules
+++ b/debian/rules
@@ -6,7 +6,7 @@
 include /usr/share/dpatch/dpatch.make
 include /usr/share/ocaml/ocamlvars.mk
 
-OCAMLRUN  = $(if $(OCAML_OPT_ARCH),,ocaml-base-nox-$(OCAMLABI))
+OCAML_RUNTIME_NOX  = $(if $(OCAML_OPT_ARCH),,ocaml-base-nox-$(OCAML_ABI))
 MAKEOPTS  = OCAMLC=ocamlc OCAMLOPT=ocamlopt OCAMLLEX=ocamllex OCAMLLIB=$(OCAML_STDLIB_DIR) OCAMLVERSION=$(OCAML_ABI)
 BACKUP    = version.ml .depend
 
@@ -64,7 +64,7 @@ binary-arch: build install
 	dh_fixperms
 	dh_installdeb
 	dh_shlibdeps
-	dh_gencontrol -- -VF:OCamlRun="$(OCAMLRUN)"
+	dh_gencontrol -- -VF:OCamlRun="$(OCAML_RUNTIME_NOX)"
 	dh_md5sums
 	dh_builddeb
 

-- 
alt-ergo packaging