Add GAUDI_PGO options
This code allows to compile Gaudi and programs that depend on it with profile-guided optimization.
It only has an effect if we build by passing -DGAUDI_PGO=GENERATE
or -DGAUDI_PGO=USE
to cmake.
Edited by Marco Clemencic
This code allows to compile Gaudi and programs that depend on it with profile-guided optimization.
It only has an effect if we build by passing -DGAUDI_PGO=GENERATE
or -DGAUDI_PGO=USE
to cmake.