Ausführen eines Bash-Befehls über CMake

Kann ich eine generische Option festlegen, die standardmäßig einer bestimmten Klasse entspricht?

BadPaddingException: Ungültiger Chiffretext

Beste Möglichkeit, eine universelle Instantiierung in Coq @ durchzuführ