From c528c2539ac18859627d71d83cbf2f472e7d2c89 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Mon, 25 Jun 2018 11:53:44 +0100
Subject: [PATCH] Remove no-longer-existent-files from exclusion lists in CMake
 files

---
 jbmc/unit/CMakeLists.txt           | 16 ----------------
 src/goto-instrument/CMakeLists.txt |  3 ---
 2 files changed, 19 deletions(-)

diff --git a/jbmc/unit/CMakeLists.txt b/jbmc/unit/CMakeLists.txt
index afbe1c7f766..0aaead7c9ed 100644
--- a/jbmc/unit/CMakeLists.txt
+++ b/jbmc/unit/CMakeLists.txt
@@ -4,24 +4,8 @@ list(APPEND sources  ${CBMC_SOURCE_DIR}/../unit/unit_tests.cpp)
 file(GLOB_RECURSE java-testing_utils "java-testing-utils/*.cpp" "java-testing-utils/*.h")
 
 list(REMOVE_ITEM sources
-    # Don't build
-    ${CMAKE_CURRENT_SOURCE_DIR}/sharing_map.cpp
-    ${CMAKE_CURRENT_SOURCE_DIR}/elf_reader.cpp
-    ${CMAKE_CURRENT_SOURCE_DIR}/smt2_parser.cpp
-    ${CMAKE_CURRENT_SOURCE_DIR}/json.cpp
-    ${CMAKE_CURRENT_SOURCE_DIR}/cpp_parser.cpp
-    ${CMAKE_CURRENT_SOURCE_DIR}/osx_fat_reader.cpp
-    ${CMAKE_CURRENT_SOURCE_DIR}/unicode.cpp
-    ${CMAKE_CURRENT_SOURCE_DIR}/wp.cpp
-    ${CMAKE_CURRENT_SOURCE_DIR}/cpp_scanner.cpp
-    ${CMAKE_CURRENT_SOURCE_DIR}/float_utils.cpp
-    ${CMAKE_CURRENT_SOURCE_DIR}/ieee_float.cpp
-
     # Will be built into a separate library and linked
     ${java-testing_utils}
-
-    # Intended to fail to compile
-    ${CMAKE_CURRENT_SOURCE_DIR}/util/expr_cast/expr_undefined_casts.cpp
 )
 
 add_subdirectory(java-testing-utils)
diff --git a/src/goto-instrument/CMakeLists.txt b/src/goto-instrument/CMakeLists.txt
index 42827ef12f0..b29c038fc41 100644
--- a/src/goto-instrument/CMakeLists.txt
+++ b/src/goto-instrument/CMakeLists.txt
@@ -2,9 +2,6 @@
 file(GLOB_RECURSE sources "*.cpp" "*.h")
 list(REMOVE_ITEM sources
     ${CMAKE_CURRENT_SOURCE_DIR}/goto_instrument_main.cpp
-
-    # This doesn't build
-    ${CMAKE_CURRENT_SOURCE_DIR}/accelerate/linearize.cpp
 )
 add_library(goto-instrument-lib ${sources})