From 68004af7b988892361a5a2b95a83364d432ab887 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Sun, 1 Sep 2019 02:50:52 +0200 Subject: [PATCH] cmake: accept enable-model-checking as an alias to enable_model-checking This should be generalized to the many potential typos in the option name, but I don't feel like scripting in cmake tonight. --- tools/cmake/Option.cmake | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/tools/cmake/Option.cmake b/tools/cmake/Option.cmake index 05b60a79b8..033192778e 100644 --- a/tools/cmake/Option.cmake +++ b/tools/cmake/Option.cmake @@ -36,6 +36,12 @@ endif() option(enable_lua "Whether the Lua bindings are activated." off) option(enable_model-checking "Turn this on to experiment with our prototype of model-checker (hinders the simulation's performance even if turned off at runtime)" off) +option(enable-model-checking "Please set 'enable_model-checking' instead" off) +mark_as_advanced(enable-model-checking) +if(enable-model-checking) + SET(enable_model-checking ON CACHE BOOL "Whether to compile the model-checker" FORCE) +endif() + option(enable_jedule "Jedule output of SimDAG." off) if(WIN32) -- 2.20.1