Add some flags to give more control over building pfunit
David Dickinson
Branch: feature/more_control_over_pfunit_build
Branch: 8.1-RC
Merged
Merged pull request
Merged in feature/more_control_over_pfunit_build (pull request #478)
Merged in feature/more_control_over_pfunit_build (pull request #478)
Makes it easier to control where the pfunit library is installed to when calling
build_pfunitviamake. This is in preparation for installing pfunit in a cached directory in gitlab ci.