diff options
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/debian/rules b/debian/rules index 202f1b86d..502840080 100755 --- a/debian/rules +++ b/debian/rules @@ -17,6 +17,12 @@ else configure_test_flags = endif +ifeq ($(filter nodoc,$(DEB_BUILD_PROFILES)),) + profile_doc_flags=-DWITH_DOC=ON +else + profile_doc_flags=-DWITH_DOC=OFF +endif + %: dh $@ --buildsystem=cmake+ninja @@ -44,7 +50,7 @@ override_dh_installsystemd: dh_installsystemd -papt --no-restart-on-upgrade --no-restart-after-upgrade --no-start apt-daily.service apt-daily-upgrade.service dh_installsystemd --remaining-packages -override_dh_auto_configure-arch: flags=-DWITH_DOC=OFF -override_dh_auto_configure-indep: flags=-DWITH_DOC=ON +override_dh_auto_configure-arch: configure_doc_flags=-DWITH_DOC=OFF +override_dh_auto_configure-indep: configure_doc_flags=$(profile_doc_flags) override_dh_auto_configure-arch override_dh_auto_configure-indep: - dh_auto_configure -- -DCMAKE_BUILD_RPATH_USE_ORIGIN=ON $(flags) $(configure_test_flags) + dh_auto_configure -- -DCMAKE_BUILD_RPATH_USE_ORIGIN=ON $(configure_doc_flags) $(configure_test_flags) |