Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Set default CMake options used by Storm #8

Merged
merged 2 commits into from
Apr 24, 2023
Merged

Set default CMake options used by Storm #8

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
95e7376
Set default CMake options used by Storm
volkm Apr 16, 2023
233e763
Disable CLN and GiNaC on Apple Silicon
volkm Apr 17, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
14 changes: 11 additions & 3 deletions CMakeLists.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -46,11 +46,11 @@ option( FORCE_SHIPPED_RESOURCES "Do not look in system for resources which are i
export_option(FORCE_SHIPPED_RESOURCES)
option( FORCE_SHIPPED_GMP "Do not look in system for lib gmp" OFF )
export_option(FORCE_SHIPPED_GMP)
option( USE_GINAC "Compile with testing with the runtime and result comparisons of carl to ginac" OFF )
option( USE_GINAC "Compile with testing with the runtime and result comparisons of carl to ginac" ON )
export_option(USE_GINAC)
option( COMPARE_WITH_Z3 "Compile benchmarks that compare to z3" OFF )
option( USE_Z3_NUMBERS "Make z3 rationals available in carl" OFF )
option( USE_CLN_NUMBERS "Make cln rationals and integers available in carl" OFF )
option( USE_CLN_NUMBERS "Make cln rationals and integers available in carl" ON )
export_option(USE_CLN_NUMBERS)
option( USE_COCOA "Use CoCoALib" OFF )
export_option(USE_COCOA)
Expand All @@ -63,7 +63,7 @@ option( BUILD_STATIC "Build the static library as well" OFF )
export_option(BUILD_STATIC)
option( BUILD_DOXYGEN "Build doxygen if not found" OFF )
export_option(BUILD_DOXYGEN)
option( THREAD_SAFE "Use mutexing to assure thread safety" OFF )
option( THREAD_SAFE "Use mutexing to assure thread safety" ON )
export_option(THREAD_SAFE)
option( PRUNE_MONOMIAL_POOL "Prune monomial pool" ON )
option( EXCLUDE_TESTS_FROM_ALL "If set, tests will not be compiled by default" OFF )
Expand Down Expand Up @@ -95,6 +95,14 @@ else()
endif()
set(CMAKE_INSTALL_DIR ${DEF_INSTALL_CMAKE_DIR} CACHE PATH "Installation directory for CMake files")

if(APPLE AND ${CMAKE_SYSTEM_PROCESSOR} MATCHES arm64)
message(STATUS "Detected that target system uses Apple Silicon.")
message(WARNING "Compiling natively on Apple Silicon is experimental. Please report issues to [email protected]. For more information visit https://www.stormchecker.org/documentation/obtain-storm/apple-silicon.html")
set(APPLE_SILICON 1)
message(WARNING "CLN and GiNaC are currently not supported on Apple Silicon-based architectures. Disabling usage of the libraries.")
set(USE_CLN_NUMBERS OFF)
set(USE_GINAC OFF)
endif()

foreach(p LIB BIN INCLUDE CMAKE)
set(var ${p}_INSTALL_DIR)
Expand Down