specmicp/cmake/optimization_flags.cmake

configuration