Follow-up from "Add test build of public headers"

The following discussion from !592 (merged) should be addressed:

• @clemenci started a discussion: (+1 comment)

  @pseyfert, it might be nice to reuse the new test type from !613 (merged), what do you think?

changed milestone to %v30r4

changed milestone to %v30r5

removed milestone

Basically the same issue as I had with !716 (closed), I don't get from the docs how to use gaudi_add_compile_test for a compilation test where a successful compilation is a successful test. @fwinkl ?

You are right. The following

gaudi_add_compile_test(mytest mysource.cpp)

still succeeds even if the compilation fails. I will try to see if that can easily be fixed.

mentioned in merge request !844 (merged)

OK, with the above MR this works now as in my example.

mentioned in merge request !850 (closed)

Thanks @fwinkl, that seems just about perfect!