3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 01:24:08 +00:00

Merge pull request #1036 from delcypher/cmake_remove_foci2_stub

[CMake] Remove FOCI2 stub code.
This commit is contained in:
Nikolaj Bjorner 2017-05-22 09:20:54 -07:00 committed by GitHub
commit cfd598fabb

View file

@ -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
################################################################################