Remove handling of CFLAGS done in dpkg-buildpackage

diff --git a/debian/rules b/debian/rules
index f3f47ce1a467a9154faf7738718421895633102c..904bbd724c9809618881756590659e0a3801a246 100755 (executable)
--- 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) \