Docker: build in /tmp, install to /usr/local
...if we do an in-tree build, additional files like the data files of modules are not installed - but then remove the build
directory, all cached files are removed.
Now, we build in /tmp
and the install to /usr/local
- fine since it's a Docker image anyway
ROOT_INCLUDE_PATH
is set because we're removing the original source files and the -includeHeaderInline
option of ROOT_GENERATE_DICTIONARY
does not seem to do its job also in 2022.
(cc @mcaspar)