diff options
| author | Vagrant Cascadian <vagrant@reproducible-builds.org> | 2022-04-17 22:11:12 +0000 |
|---|---|---|
| committer | David Kalnischkies <david@kalnischkies.de> | 2022-05-07 10:45:44 +0200 |
| commit | 725fef5ebf45d03fea75866e9795717bf576d26a (patch) | |
| tree | 4bef451e63e985d486c7e83d814a415af6c36312 /debian/rules | |
| parent | e6cefc7683de4f29be7ebcab004ea0ab80ce49bc (diff) | |
Add support for "nodoc" build profile
References: https://wiki.debian.org/BuildProfileSpec#Registered_profile_names
Closes: #1009797
[@donkult: reworded commit message slightly & changed variable name]
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) |