Open
Description
- Checked for duplicates
Describe the bug
When you install a ROOT with builtins, it also installs the builtin headers (+ libraries probably) into the system directory.
This might be at least surprising, if not annoying.
Expected behavior
If builtins are needed, they could go into ${CMAKE_INSTALL_PREFIX}/include/ROOT_builtins}
or similar.
This unfortunately requires going through all builtins, and changing their install locations, but I don't see a way around that.
To Reproduce
cmake -DCMAKE_INSTALL_PREFIX=/tmp/dummyInstallation <path/to/root>
make -j install
Setup
Master, linux.