Merge pull request #1938 from romainbrenguier/fix-cmake

Fix cmake build

Author: Daniel Kroening

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)