diff options
author | Emmanuele Bassi <ebassi@gnome.org> | 2021-11-09 16:01:22 +0000 |
---|---|---|
committer | Emmanuele Bassi <ebassi@gnome.org> | 2021-11-19 13:16:25 +0000 |
commit | ead99fdfb7ddf7860de08fc480a06b45de64d221 (patch) | |
tree | f366b2e32a0a326f505a96be79d07630f2f588e1 | |
parent | 3fedfab62f91b144c295b028ab47281b73a59cda (diff) | |
download | gnome-desktop-ead99fdfb7ddf7860de08fc480a06b45de64d221.tar.gz |
build: Add configuration summary
-rw-r--r-- | meson.build | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/meson.build b/meson.build index ba9a149b..99073599 100644 --- a/meson.build +++ b/meson.build @@ -125,3 +125,29 @@ endif if get_option('gtk_doc') subdir('docs/reference/gnome-desktop3') endif + +summary({ + 'prefix': get_option('prefix'), + 'datadir': datadir, + 'libexecdir': libexecdir, + 'localedir': localedir, + 'versiondir': versiondir, + }, + section: 'Directories', +) + +summary({ + 'Use systemd': get_option('systemd').enabled() or get_option('systemd').auto(), + 'Use udev': get_option('udev').enabled() or get_option('udev').auto(), + 'Build GTK4 libraries': get_option('build_gtk4'), + 'Build legacy libgnome-desktop': get_option('legacy_library'), + 'Desktop documentation': get_option('desktop_docs'), + 'API documentation': get_option('gtk_doc'), + 'Date in gnome-version.xml': get_option('date_in_gnome_version'), + 'GNOME distributor': get_option('gnome_distributor'), + 'Debug tools': get_option('debug_tools'), + 'Installed tests': get_option('installed_tests'), + }, + section: 'Build options', + bool_yn: true, +) |