summaryrefslogtreecommitdiff
path: root/debian/rules
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbaren@mit.edu>2016-10-23 14:44:48 -0400
committerGravatar Benjamin Barenblat <bbaren@mit.edu>2016-10-23 14:46:42 -0400
commitd5f9133d42a1d707e65634bb3793bc318963a003 (patch)
tree035265d20db280e09bf0f7c76ba408091e0e812c /debian/rules
parent22f652bf9f7e7c5b545d8b4b283029074867697d (diff)
Re-disable PIE
Until #837567 gets fixed, Ur/Web cannot build position-independent. Add extra CFLAGS and LDFLAGS to counteract PIE-by-default.
Diffstat (limited to 'debian/rules')
-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