Fixes for super-project build
these are minor configuration fixes needed to be able to build Boole within a super-project
/cc @rmatev
Please be advised that registry.cern.ch and registry-tn.cern.ch registries (Registry Service) will be unavailable next Tuesday, Feb 11th starting at 08:00h (Geneva time) for a short period of time. This may cause temporary disruptions to your workflows. Further info: OTG0154380
these are minor configuration fixes needed to be able to build Boole within a super-project
/cc @rmatev