Fixes for super-project build

these are minor configuration fixes needed to be able to build Boole within a super-project

/cc @rmatev

Merge request reports

Loading