Fixup CMake builds to remove usages of java_bytecode

Author: chrisr-diffblue

CMakeLists.txt

@@ -73,7 +73,6 @@ set_target_properties(
     solvers
     test-bigint
     testing-utils
-    java-testing-utils
     unit
     util
     xml

regression/CMakeLists.txt

@@ -32,7 +32,6 @@ add_subdirectory(cbmc-cover)
 add_subdirectory(goto-instrument-typedef)
 add_subdirectory(strings)
 add_subdirectory(invariants)
-add_subdirectory(goto-diff-java)
 add_subdirectory(test-script)
 if(NOT WIN32)
   add_subdirectory(goto-gcc)

src/goto-analyzer/CMakeLists.txt

@@ -21,7 +21,6 @@ target_link_libraries(goto-analyzer-lib
     util
 )
 
-add_if_library(goto-analyzer-lib java_bytecode)
 add_if_library(goto-analyzer-lib jsil)
 
 # Executable

src/goto-cc/CMakeLists.txt

@@ -17,6 +17,7 @@ target_link_libraries(goto-cc-lib
     xml
     assembler
     langapi
+    json
 )
 
 add_if_library(goto-cc-lib jsil)

src/goto-diff/CMakeLists.txt

@@ -23,7 +23,6 @@ target_link_libraries(goto-diff-lib
     solvers
 )
 
-add_if_library(goto-diff-lib java_bytecode)
 add_if_library(goto-diff-lib jsil)
 
 # Executable

src/goto-instrument/CMakeLists.txt

@@ -27,7 +27,6 @@ target_link_libraries(goto-instrument-lib
     solvers
 )
 
-add_if_library(goto-instrument-lib java_bytecode)
 add_if_library(goto-instrument-lib glpk)
 
 # Executable

src/goto-programs/CMakeLists.txt

@@ -4,4 +4,4 @@ add_library(goto-programs ${sources})
 generic_includes(goto-programs)
 
 target_link_libraries(
-        goto-programs util assembler langapi analyses ansi-c java_bytecode)
+        goto-programs util assembler langapi analyses ansi-c)

src/jbmc/CMakeLists.txt

@@ -17,7 +17,6 @@ target_link_libraries(jbmc-lib
     goto-instrument-lib
     goto-programs
     goto-symex
-    java_bytecode
     json
     langapi
     linking

unit/CMakeLists.txt

@@ -1,10 +1,7 @@
 file(GLOB_RECURSE sources "*.cpp" "*.h")
 
 file(GLOB_RECURSE testing_utils "testing-utils/*.cpp" "testing-utils/*.h")
-
-file(GLOB_RECURSE java_testing_utils
-    "java_bytecode/testing-utils/*.cpp"
-    "java_bytecode/testing-utils/*.h")
+file(GLOB_RECURSE java_tests "java_bytecode/*.cpp" "java_bytecode/*.h")
 
 list(REMOVE_ITEM sources
     # Used in executables
@@ -25,14 +22,29 @@ list(REMOVE_ITEM sources
 
     # Will be built into a separate library and linked
     ${testing_utils}
-    ${java_testing_utils}
+
+    # Java front-end is being remove, so drop all java tests
+    ${java_tests}
+
+    ${goto_program_generics}
+    ${CMAKE_CURRENT_SOURCE_DIR}/analyses/dependence_graph.cpp
+    ${CMAKE_CURRENT_SOURCE_DIR}/goto-programs/class_hierarchy_output.cpp
+    ${CMAKE_CURRENT_SOURCE_DIR}/goto-programs/class_hierarchy_graph.cpp
+    ${CMAKE_CURRENT_SOURCE_DIR}/goto-programs/remove_virtual_functions_without_fallback.cpp
+    ${CMAKE_CURRENT_SOURCE_DIR}/pointer-analysis/custom_value_set_analysis.cpp
+    ${CMAKE_CURRENT_SOURCE_DIR}/solvers/refinement/string_constraint_instantiation/instantiate_not_contains.cpp
+    ${CMAKE_CURRENT_SOURCE_DIR}/solvers/refinement/string_refinement/dependency_graph.cpp
+    ${CMAKE_CURRENT_SOURCE_DIR}/solvers/refinement/string_refinement/string_symbol_resolution.cpp
+    ${CMAKE_CURRENT_SOURCE_DIR}/util/has_subtype.cpp
+    ${CMAKE_CURRENT_SOURCE_DIR}/util/parameter_indices.cpp
+    ${CMAKE_CURRENT_SOURCE_DIR}/util/simplify_expr.cpp
+
 
     # Intended to fail to compile
     ${CMAKE_CURRENT_SOURCE_DIR}/util/expr_cast/expr_undefined_casts.cpp
 )
 
 add_subdirectory(testing-utils)
-add_subdirectory(java_bytecode/testing-utils)
 
 add_executable(unit ${sources})
 target_include_directories(unit
@@ -44,7 +56,6 @@ target_include_directories(unit
 target_link_libraries(
         unit
         testing-utils
-        java-testing-utils
         ansi-c
         solvers
         goto-programs

unit/testing-utils/CMakeLists.txt

@@ -1,4 +1,11 @@
 file(GLOB_RECURSE sources "*.cpp" "*.h")
+
+list(REMOVE_ITEM sources
+    # Remove usage of java_bytecode
+    ${CMAKE_CURRENT_SOURCE_DIR}/load_java_class.cpp
+    ${CMAKE_CURRENT_SOURCE_DIR}/load_java_class.h
+)
+
 add_library(testing-utils ${sources})
 target_link_libraries(testing-utils
     util