summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xdebian/rules8
1 files changed, 5 insertions, 3 deletions
diff --git a/debian/rules b/debian/rules
index 5fe61339..575fb3ed 100755
--- a/debian/rules
+++ b/debian/rules
@@ -9,12 +9,14 @@ export DEB_LDFLAGS_MAINT_APPEND = -Wl,--as-needed
# Harden SML executables. Do not build position-independent executables,
# though; urweb depends on the MLton runtime, which is not built position-
-# independent in Debian.
+# independent in Debian (#837567).
export DEB_BUILD_MAINT_OPTIONS := hardening=+all,-pie
export MLTONARGS := \
-cc-opt "$(shell dpkg-buildflags --get CPPFLAGS) \
- $(shell dpkg-buildflags --get CFLAGS)" \
- -link-opt "$(shell dpkg-buildflags --get LDFLAGS)"
+ $(shell dpkg-buildflags --get CFLAGS) \
+ -no-pie" \
+ -link-opt "$(shell dpkg-buildflags --get LDFLAGS) \
+ -no-pie"
%:
dh $@ --parallel --with autoreconf