[Pkg-ocaml-maint-commits] [SCM] camlmix packaging branch, master, updated. debian/1.3.0-3-7-gf588587

[Hendrik Tews]

The following commit has been merged in the master branch:
commit f58858780f8c7a511fcd5036d27ecdd922455205
Author: Hendrik Tews <hendrik at askra.de>
Date:   Tue May 28 11:33:27 2013 +0200

    enable ocamlc.opt

diff --git a/debian/rules b/debian/rules
index 1ea34b6..293e8cb 100755
--- a/debian/rules
+++ b/debian/rules
@@ -2,8 +2,8 @@
 # -*- makefile -*-
 
 # Uncomment this to turn on verbose mode.
-export DH_VERBOSE=1
-export DH_OPTIONS=-v
+#export DH_VERBOSE=1
+#export DH_OPTIONS=-v
 
 DESTDIR=$(CURDIR)/debian/camlmix
 
@@ -16,7 +16,7 @@ include /usr/share/ocaml/ocamlvars.mk
 .PHONY: override_dh_auto_build
 override_dh_auto_build:
 ifeq ($(OCAML_HAVE_OCAMLOPT),yes)
-	make OCAMLOPT=ocamlopt.opt native
+	make OCAMLOPT=ocamlopt.opt OCAMLC=ocamlc.opt native
 else
 	make byte
 endif

-- 
camlmix packaging