[Pkg-ocaml-maint-commits] [SCM] Debian packaging for coccinelle branch, master, updated. debian/1.0.0_rc11.deb-1-14-ge1f61b4

[Eugeniy Meshcheryakov]

The following commit has been merged in the master branch:
commit ed70baf07f708d0215d2ef70a651ad0326c5e320
Author: Eugeniy Meshcheryakov <eugen at debian.org>
Date:   Mon Apr 9 16:28:17 2012 +0200

    Adjust the build system

diff --git a/debian/changelog b/debian/changelog
index 0772e53..d3dd6ce 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,13 +1,14 @@
 coccinelle (1.0.0~rc12.deb-1) unstable; urgency=low
 
   * New upstream RC
+    - Adjust the build system
   * Adapt repack.sh to the new upstream RC
   * Remove patches:
     - pycaml-build-check.diff
   * Refresh patches:
     - pdf-docs-build.diff
 
- -- Євгеній Мещеряков <eugen at debian.org>  Mon, 09 Apr 2012 16:26:56 +0200
+ -- Євгеній Мещеряков <eugen at debian.org>  Mon, 09 Apr 2012 16:28:01 +0200
 
 coccinelle (1.0.0~rc11.deb-1) unstable; urgency=low
 
diff --git a/debian/rules b/debian/rules
index ddb5837..4133a65 100755
--- a/debian/rules
+++ b/debian/rules
@@ -13,10 +13,10 @@ VIM_RDIR = $(CURDIR)/debian/coccinelle/usr/share/vim/registry
 COMMON_CONFIG = --prefix=/usr
 
 ifeq ($(OCAML_NATDYNLINK),yes)
-CONFIG_FLAGS = $(COMMON_CONFIG) --opt
+#CONFIG_FLAGS = $(COMMON_CONFIG) --opt
 MAKE_TGT = all.opt
 else
-CONFIG_FLAGS = $(COMMON_CONFIG) --no-opt
+#CONFIG_FLAGS = $(COMMON_CONFIG) --no-opt
 MAKE_TGT = all
 endif
 

-- 
Debian packaging for coccinelle