diff options
| author | Marvin Scholz <epirat07@gmail.com> | 2018-09-29 13:40:41 +0300 |
|---|---|---|
| committer | Marvin Scholz <epirat07@gmail.com> | 2018-09-29 13:40:41 +0300 |
| commit | 1a00be48bda44708e02f8dadb4b9cfacd9e2f78c (patch) | |
| tree | 39583f90e05149b2b31d9ccc38d6241443a8b57d | |
| parent | 6649ca3f96cdb1597f0a98e3cb85b60f0e82f987 (diff) | |
Build: Add option to disable building tools
| -rw-r--r-- | meson_options.txt | 5 | ||||
| -rw-r--r-- | tools/meson.build | 5 |
2 files changed, 10 insertions, 0 deletions
diff --git a/meson_options.txt b/meson_options.txt index d9b4829..63271de 100644 --- a/meson_options.txt +++ b/meson_options.txt @@ -9,3 +9,8 @@ option('build_asm', type: 'boolean', value: true, description: 'Build asm files, if available') + +option('build_tools', + type: 'boolean', + value: true, + description: 'Build dav1d cli tools') diff --git a/tools/meson.build b/tools/meson.build index d7c2b78..5a0b5f0 100644 --- a/tools/meson.build +++ b/tools/meson.build @@ -26,6 +26,11 @@ # Build definition for the dav1d tools # +# Leave subdir if tools are disabled +if not get_option('build_tools') + subdir_done() +endif + # dav1d cli tool sources dav1d_sources = files( 'dav1d.c', |