From 6b7788647bdae1ac2ce4a1df0033dc4fcaa2d738 Mon Sep 17 00:00:00 2001 From: Sylvestre Ledru Date: Sun, 19 Mar 2017 15:59:47 +0000 Subject: [PATCH] remove the ldflags --- debian/rules | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/rules b/debian/rules index f001eb39..3d8215fb 100755 --- a/debian/rules +++ b/debian/rules @@ -24,7 +24,7 @@ DEB_HOST_ARCH = $(shell dpkg-architecture -qDEB_HOST_ARCH) OCAML_STDLIB_DIR ?= $(shell ocamlc -where) -LDFLAGS_EXTRA = -Wl,--default-symver +LDFLAGS_EXTRA = CXXFLAGS_EXTRA = -std=c++0x CONFIGURE_EXTRA = CMAKE_EXTRA =