diff options
author | Marco Trevisan (Treviño) <mail@3v1n0.net> | 2018-11-07 21:33:34 -0500 |
---|---|---|
committer | Jussi Pakkanen <jpakkane@gmail.com> | 2019-01-13 19:51:31 +0200 |
commit | 95c1cdf7767d5b5bf4614651afeafa100f1de45c (patch) | |
tree | c91536f545e071d8cc11bf935f7c2002e6bb685e /docs/markdown/Reference-manual.md | |
parent | 49557e15ec62c7db21b3619d957e4f65772660d6 (diff) | |
download | meson-95c1cdf7767d5b5bf4614651afeafa100f1de45c.zip meson-95c1cdf7767d5b5bf4614651afeafa100f1de45c.tar.gz meson-95c1cdf7767d5b5bf4614651afeafa100f1de45c.tar.bz2 |
interpreter: obey to the install argument in configure_file
If a configure_file has an install_dir set, the supported install
argument is ignored, while this should have actually higher priority
than the install_dir itself.
Also check that correct types are used for `install` and `install_dir`.
Add test to verify this.
Fixes #3983
Diffstat (limited to 'docs/markdown/Reference-manual.md')
-rw-r--r-- | docs/markdown/Reference-manual.md | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/markdown/Reference-manual.md b/docs/markdown/Reference-manual.md index 3d4379a..5436ec3 100644 --- a/docs/markdown/Reference-manual.md +++ b/docs/markdown/Reference-manual.md @@ -231,6 +231,11 @@ the `@variable@` syntax. - `input` the input file name. If it's not specified in configuration mode, all the variables in the `configuration:` object (see above) are written to the `output:` file. +- `install` *(added 0.50.0)* When true, this generated file is installed during +the install step, and `install_dir` must be set and not empty. When false, this +generated file is not installed regardless of the value of `install_dir`. +When omitted it defaults to true when `install_dir` is set and not empty, +false otherwise. - `install_dir` the subdirectory to install the generated file to (e.g. `share/myproject`), if omitted or given the value of empty string, the file is not installed. |