build: Disable some targets when external callbacks are enabled #1325

1. 
   hebasto commented at 9:38 am on May 24, 2023: member

   Closes #1308.
2. real-or-random cross-referenced this on May 24, 2023 from issue build: benchmarks and examples should be disabled when external callbacks are enabled by real-or-random
3. build: Disable some targets when external callbacks are enabled

   The benchmarks, constant-time tests and examples are not supposed to be
   built when external callbacks are enabled.

   1a56bffb48
4. hebasto force-pushed on May 24, 2023
5. hebasto renamed this:
   build: Disable benchmarks and examples when ext. callbacks are enabled
   build: Disable some targets when external callbacks are enabled
   on May 24, 2023
6. 
   hebasto commented at 1:52 pm on May 24, 2023: member

   Addressed #1308 (comment).

Contributors
hebasto