This works now, since the cmake port. Configure like "cmake -DCMAKE_BUILD_TYPE=coverage" and then "make coverage" after building
This works now, since the cmake port. Configure like "cmake -DCMAKE_ BUILD_TYPE= coverage" and then "make coverage" after building