Remove java_bytecode deps from Makefiles

NathanJPhillips · Apr 26, 2018 · a61d03f · a61d03f
1 parent ce9f1fc
commit a61d03f
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 3 deletions.
diff --git a/src/clobber/CMakeLists.txt b/src/clobber/CMakeLists.txt
@@ -25,7 +25,6 @@ target_link_libraries(clobber-lib
 )
 
 add_if_library(clobber-lib bv_refinement)
-add_if_library(clobber-lib java_bytecode)
 add_if_library(clobber-lib specc)
 add_if_library(clobber-lib php)
 

diff --git a/src/clobber/Makefile b/src/clobber/Makefile
@@ -1,9 +1,9 @@
 SRC = clobber_main.cpp \
       clobber_parse_options.cpp \
       # Empty last line
+
 OBJ += ../ansi-c/ansi-c$(LIBEXT) \
        ../cpp/cpp$(LIBEXT) \
-       ../java_bytecode/java_bytecode$(LIBEXT) \
        ../linking/linking$(LIBEXT) \
        ../big-int/big-int$(LIBEXT) \
        ../goto-programs/goto-programs$(LIBEXT) \

diff --git a/src/goto-cc/CMakeLists.txt b/src/goto-cc/CMakeLists.txt
@@ -19,7 +19,6 @@ target_link_libraries(goto-cc-lib
     langapi
 )
 
-add_if_library(goto-cc-lib java_bytecode)
 add_if_library(goto-cc-lib jsil)
 
 # Executable
-Original file line number
+Diff line change
@@ Expand Up / @@ -19,7 +19,6 @@ target_link_libraries(goto-cc-lib @@
         langapi
     )
-    add_if_library(goto-cc-lib java_bytecode)
     add_if_library(goto-cc-lib jsil)
     # Executable
@@ Expand Down @@