if(enable_compile_optimizations)
set(CMAKE_OPTIONS "${CMAKE_OPTIONS} -Denable_compile_optimizations=on")
endif(enable_compile_optimizations)
if(enable_compile_optimizations)
set(CMAKE_OPTIONS "${CMAKE_OPTIONS} -Denable_compile_optimizations=on")
endif(enable_compile_optimizations)
# get pipol systems
EXECUTE_PROCESS(COMMAND
ssh ${pipol_user}@pipol.inria.fr pipol-sub --query=systems
OUTPUT_VARIABLE PIPOL_SYSTEMS OUTPUT_STRIP_TRAILING_WHITESPACE)
# get pipol systems
EXECUTE_PROCESS(COMMAND
ssh ${pipol_user}@pipol.inria.fr pipol-sub --query=systems
OUTPUT_VARIABLE PIPOL_SYSTEMS OUTPUT_STRIP_TRAILING_WHITESPACE)