From ea53bbc537aca6d1c5d24765a09aafda7deb5b10 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Tue, 17 Feb 2009 13:48:07 +0100
Subject: [PATCH] Remove handling of CFLAGS done in dpkg-buildpackage

---
 debian/rules | 11 -----------
 1 file changed, 11 deletions(-)

diff --git a/debian/rules b/debian/rules
index f3f47ce1..904bbd72 100755
--- a/debian/rules
+++ b/debian/rules
@@ -30,17 +30,6 @@ SRCTARBALL = $(PACKAGE)-source-$(OCAML_ABI).tar.bz2
 # This has to be exported to make some magic below work.
 export DH_OPTIONS
 
-CFLAGS = -Wall -g
-
-ifneq (,$(findstring noopt,$(DEB_BUILD_OPTIONS)))
-	CFLAGS += -O0
-else
-	CFLAGS += -O2
-endif
-ifeq (,$(findstring nostrip,$(DEB_BUILD_OPTIONS)))
-	INSTALL_PROGRAM += -s
-endif
-
 CONFIGURE_OPTS := \
   --with-pthread -prefix /usr \
   -libdir $(OCAML_STDLIB_DIR) \
-- 
2.30.2