build: Misc cleanup of options

Cleanup of option names, use features where applicable, and printing
of summary.
This commit is contained in:
Patrick Griffis
2021-07-13 11:12:22 -05:00
parent 25440a07c3
commit cbb0927a7a
9 changed files with 91 additions and 55 deletions

View File

@@ -1,11 +1,11 @@
if get_option('with-plugin')
if get_option('plugin')
subdir('pkgconfig')
endif
if get_option('with-gtk')
if get_option('gtk-frontend')
subdir('icons')
subdir('misc')
subdir('man')
elif get_option('with-theme-manager')
elif get_option('theme-manager')
subdir('misc')
endif