set(EXE_NAME scotch CACHE STRING "Name of the main executable")
set(OBJLIB_NAME objlib CACHE STRING "Name of the object library shared between src and test")
set(TEST_EXE tests CACHE STRING "Name of the test executable")
