diff options
author | Benjamin Barenblat <bbaren@mit.edu> | 2016-10-23 14:44:48 -0400 |
---|---|---|
committer | Benjamin Barenblat <bbaren@mit.edu> | 2016-10-23 14:46:42 -0400 |
commit | d5f9133d42a1d707e65634bb3793bc318963a003 (patch) | |
tree | 035265d20db280e09bf0f7c76ba408091e0e812c | |
parent | 22f652bf9f7e7c5b545d8b4b283029074867697d (diff) |
Re-disable PIE
Until #837567 gets fixed, Ur/Web cannot build position-independent.
Add extra CFLAGS and LDFLAGS to counteract PIE-by-default.
-rwxr-xr-x | debian/rules | 8 |
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 |