Remove java_bytecode deps from Makefiles

peterschrammel · peterschrammel · commit a61d03f8fcb5 · 2018-04-26T16:00:28.000+01:00
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 number	Diff line change
`@@ -25,7 +25,6 @@ target_link_libraries(clobber-lib`
`25`	`25`	`)`
`26`	`26`
`27`	`27`	`add_if_library(clobber-lib bv_refinement)`
`28`		`-add_if_library(clobber-lib java_bytecode)`
`29`	`28`	`add_if_library(clobber-lib specc)`
`30`	`29`	`add_if_library(clobber-lib php)`
`31`	`30`
Original file line number	Diff line number	Diff line change
`@@ -19,7 +19,6 @@ target_link_libraries(goto-cc-lib`
`19`	`19`	`langapi`
`20`	`20`	`)`
`21`	`21`
`22`		`-add_if_library(goto-cc-lib java_bytecode)`
`23`	`22`	`add_if_library(goto-cc-lib jsil)`
`24`	`23`
`25`	`24`	`# Executable`