diff options
Diffstat (limited to 'debian/rules')
-rwxr-xr-x | debian/rules | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules new file mode 100755 index 0000000..fd6a449 --- /dev/null +++ b/debian/rules @@ -0,0 +1,18 @@ +#!/usr/bin/make -f + +include /usr/share/dpkg/pkg-info.mk +export DEB_VERSION + +export DEB_BUILD_MAINT_OPTIONS = hardening=+all + +CONFIGURE_OPTIONS = -DBUILD_SHARED_LIBS=on + +ifneq (,$(filter nocheck,$(DEB_BUILD_OPTIONS))) +CONFIGURE_OPTIONS += -DWITH_SEXP_TESTS=off +endif + +override_dh_auto_configure: + dh_auto_configure --builddirectory=build -- $(CONFIGURE_OPTIONS) + +%: + dh $@ --builddirectory=build |