mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 01:24:08 +00:00
[CMake] Remove FOCI2 stub code.
The CMake build system doesn't need to support FOCI2 because it
has been removed from Z3's codebase in 4b61a864e2
.
This commit is contained in:
parent
b782ec35cc
commit
a15419cf46
|
@ -274,18 +274,6 @@ else()
|
|||
message(STATUS "Not using libgmp")
|
||||
endif()
|
||||
|
||||
################################################################################
|
||||
# FOCI2 support
|
||||
################################################################################
|
||||
# FIXME: What is this?
|
||||
option(USE_FOCI2 "Use FOCI2" OFF)
|
||||
if (USE_FOCI2)
|
||||
message(FATAL_ERROR "TODO")
|
||||
message(STATUS "Using FOCI2")
|
||||
else()
|
||||
message(STATUS "Not using FOCI2")
|
||||
endif()
|
||||
|
||||
################################################################################
|
||||
# OpenMP support
|
||||
################################################################################
|
||||
|
|
Loading…
Reference in a new issue