From: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Date: Mon, 10 Feb 2020 13:53:39 +0100
Subject: hardening-flags

===================================================================
---
 Makefile.in | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/Makefile.in b/Makefile.in
index 0df3356..1b98516 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -20,6 +20,10 @@ else
   HIDE = @
 endif
 
+CFLAGS  := $(shell dpkg-buildflags --get CFLAGS)
+CFLAGS  += $(shell dpkg-buildflags --get CPPFLAGS)
+LDFLAGS := $(shell dpkg-buildflags --get LDFLAGS)
+
 # install the binaries
 DESTDIR =
 
@@ -795,13 +799,13 @@ TOOLS = lib/why3server$(EXE) lib/why3cpulimit$(EXE)
 all: $(TOOLS)
 
 lib/why3server$(EXE): $(SERVER_O)
-	$(CC) -Wall -o $@ $^
+	$(CC) -Wall $(LDFLAGS) -o  $@ $^
 
 lib/why3cpulimit$(EXE): $(CPULIM_O)
-	$(CC) -Wall -o $@ $^
+	$(CC) -Wall $(LDFLAGS) -o $@ $^
 
 %.o: %.c
-	$(CC) -Wall -O -g -o $@ -c $<
+	$(CC) -Wall -O -g $(CFLAGS) -o $@ -c $<
 
 uninstall-bin::
 	rm -f $(LIBDIR)/why3/why3server$(EXE) $(LIBDIR)/why3/why3cpulimit$(EXE)
