From a15419cf464796a81e9e290df1b566c206e8c311 Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Mon, 22 May 2017 16:45:13 +0100 Subject: [PATCH] [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 4b61a864e20ff82ef8dac89eae31f81976667734 . --- CMakeLists.txt | 12 ------------ 1 file changed, 12 deletions(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index b25139c1b..4dbf379c2 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -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 ################################################################################