From 213cb576428968d00a0dbb0600b7eadf381b192e Mon Sep 17 00:00:00 2001 From: Romain Brenguier Date: Thu, 15 Mar 2018 11:49:08 +0000 Subject: [PATCH] Fix cmake build cmake is failing while linking because of some dependencies between goto-programs and java_bytecode. Ideally this dependency should be removed but in the mean time the best thing to do is to add java_bytecode for the linking of goto-programs. --- src/goto-programs/CMakeLists.txt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/goto-programs/CMakeLists.txt b/src/goto-programs/CMakeLists.txt index 13ed9cbb70c..1cdb9d0425d 100644 --- 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)