Merge pull request diffblue#1938 from romainbrenguier/fix-cmake

Fix cmake build
smowton · Mar 15, 2018 · f3cb5bb · f3cb5bb
2 parents 9e11b41 + 213cb57
commit f3cb5bb
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/goto-programs/CMakeLists.txt b/src/goto-programs/CMakeLists.txt
@@ -3,4 +3,5 @@ add_library(goto-programs ${sources})
 
 generic_includes(goto-programs)
 
-target_link_libraries(goto-programs util assembler langapi analyses ansi-c)
+target_link_libraries(
+        goto-programs util assembler langapi analyses ansi-c java_bytecode)