Hide RdtscClock.h to non x86_64 builds (!1479) · Merge requests · Gaudi / Gaudi

Marco Clemencic requested to merge hide-rtdsc-on-arm into master Jul 24, 2023

When testing the standalone build of public headers on ARM, the header Gaudi/Timers/RdtscClock.h fails because it is not supported on non-x86_64.

This MR tweaks the configuration to make sure Gaudi/Timers/RdtscClock.h is installed only for x86_64.

This MR, accidentally, fixes a minor inconsistency in some GaudiToolbox.cmake doc.

Hide RdtscClock.h to non x86_64 builds