diff options
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules index 3c670ce5..6374aa4d 100755 --- a/debian/rules +++ b/debian/rules @@ -4,6 +4,12 @@ # Avoid overlinking and reduce library dependencies. export DEB_LDFLAGS_MAINT_APPEND = -Wl,--as-needed +# Harden SML executables. +export MLTONARGS := \ + -cc-opt "$(shell dpkg-buildflags --get CPPFLAGS) \ + $(shell dpkg-buildflags --get CFLAGS)" \ + -link-opt "$(shell dpkg-buildflags --get LDFLAGS)" + %: dh $@ --parallel --with autoreconf |