From 06fc953f22826925328daae2030ef04465e927b7 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Sun, 5 Nov 2023 03:27:48 +0100 Subject: [PATCH] Remove some restrictions on enable_model-checking now that it's only for the stateless MC --- CMakeLists.txt | 13 ------------- 1 file changed, 13 deletions(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index 1bd67e6785..0c70bccf13 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -352,14 +352,6 @@ else() set(SG_HAVE_SENDFILE 0) endif() -if(enable_model-checking AND NOT "${CMAKE_SYSTEM}" MATCHES "Linux|FreeBSD") - message(FATAL_ERROR "Support for model-checking has not been enabled on ${CMAKE_SYSTEM}. Please use a Linux docker to use the model checker.") -endif() - -if(enable_model-checking AND minimal-bindings) - message(FATAL_ERROR "Compile-time option 'minimal-bindings' cannot be enabled with 'model-checking'") -endif() - if(enable_mallocators) SET(SIMGRID_HAVE_MALLOCATOR 1) else() @@ -772,11 +764,6 @@ endif() option(enable_python "Whether the Python bindings are activated." ${default_enable_python}) # ON by default if dependencies are met -if("${CMAKE_SYSTEM}" MATCHES "FreeBSD" AND enable_model-checking AND enable_python) - message(WARNING "FreeBSD + Model-Checking + Python = too much for now. Disabling the Python bindings.") - set(enable_python FALSE) -endif() - if(enable_python) if(NOT Python3_Development_FOUND) message(FATAL_ERROR "Please install the development components of Python (python3-dev on Debian) to build the Python bindings (or disable that option).") -- 2.20.1