diff options
| author | David Kalnischkies <david@kalnischkies.de> | 2022-04-19 13:06:44 +0200 |
|---|---|---|
| committer | David Kalnischkies <david@kalnischkies.de> | 2022-05-07 10:45:44 +0200 |
| commit | cd92098caa64b7fd30cdc6b5d56bf7e9e17a449e (patch) | |
| tree | 10e772fda1e49ef65089e51f17f2a700f597eb2c /debian/rules | |
| parent | 725fef5ebf45d03fea75866e9795717bf576d26a (diff) | |
Avoid building all docs in nodoc build profile
Differentiating between different types of documentation we build helps
in better expressing what needs to be done for our arch:any and arch:all
packages currently as well.
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/debian/rules b/debian/rules index 502840080..9ab42f24c 100755 --- a/debian/rules +++ b/debian/rules @@ -17,12 +17,6 @@ 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 @@ -50,7 +44,13 @@ 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: configure_doc_flags=-DWITH_DOC=OFF -override_dh_auto_configure-indep: configure_doc_flags=$(profile_doc_flags) +ifeq ($(filter nodoc,$(DEB_BUILD_PROFILES)),) +override_dh_auto_configure-arch: configure_doc_flags="-DWITH_DOC=OFF -DWITH_DOC_MANPAGES=ON" +override_dh_auto_configure-indep: configure_doc_flags="-DWITH_DOC=ON" +else +override_dh_auto_configure-arch: configure_doc_flags="-DWITH_DOC=OFF" +override_dh_auto_configure-indep: configure_doc_flags="-DWITH_DOC=OFF" +endif + override_dh_auto_configure-arch override_dh_auto_configure-indep: dh_auto_configure -- -DCMAKE_BUILD_RPATH_USE_ORIGIN=ON $(configure_doc_flags) $(configure_test_flags) |