Merge pull request #152186 from veprbl/pr/root_rootcint_fix

root: fix installation of bin/rootcint and bin/genreflex
This commit is contained in:
Dmitry Kalinkin 2021-12-26 18:30:44 -05:00 committed by GitHub
commit c7be038ad1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -117,6 +117,7 @@ stdenv.mkDerivation rec {
cmakeFlags = [
"-Drpath=ON"
"-DCMAKE_CXX_STANDARD=17"
"-DCMAKE_INSTALL_BINDIR=bin"
"-DCMAKE_INSTALL_LIBDIR=lib"
"-DCMAKE_INSTALL_INCLUDEDIR=include"
"-Dbuiltin_llvm=OFF"