diff options
author | Benjamin Barenblat <bbaren@mit.edu> | 2015-07-06 00:34:14 -0400 |
---|---|---|
committer | Benjamin Barenblat <bbaren@mit.edu> | 2015-07-06 00:34:14 -0400 |
commit | c6ced60ed22101d74fa762478545b3d29de88e31 (patch) | |
tree | 284a8e26b5ca7bf565b157afc8bd14135b372257 /debian/rules | |
parent | 4c270e96c0be200c6d8979459fe78a0090256f51 (diff) |
Make static linking work (closes Debian #791551)
Diffstat (limited to 'debian/rules')
-rwxr-xr-x | debian/rules | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules index 329e03ad..231b9732 100755 --- a/debian/rules +++ b/debian/rules @@ -18,7 +18,8 @@ export MLTONARGS := \ .PHONY: override_dh_auto_configure override_dh_auto_configure: - SRCLIB=/usr/share/urweb dh_auto_configure -- + LIB=/usr/lib/$(DEB_HOST_MULTIARCH) \ + SRCLIB=/usr/share/urweb dh_auto_configure -- .PHONY: override_dh_auto_build override_dh_auto_build: |