Skip to content

Docker: build in /tmp, install to /usr/local

Simon Spannagel requested to merge docker_install into master

...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)

Edited by Simon Spannagel

Merge request reports