Merge pull request #4696 from hannes-steffenhagen-diffblue/fix/missing-dependencies

Fix some missing dependencies in goto-checker and goto-programs

Author: tautschnig

src/CMakeLists.txt

@@ -85,6 +85,7 @@ add_subdirectory(ansi-c)
 add_subdirectory(assembler)
 add_subdirectory(big-int)
 add_subdirectory(cpp)
+add_subdirectory(xmllang)
 add_subdirectory(goto-checker)
 add_subdirectory(goto-programs)
 add_subdirectory(goto-symex)
@@ -96,7 +97,6 @@ add_subdirectory(linking)
 add_subdirectory(pointer-analysis)
 add_subdirectory(solvers)
 add_subdirectory(util)
-add_subdirectory(xmllang)
 
 add_subdirectory(cbmc)
 add_subdirectory(goto-cc)

src/goto-checker/CMakeLists.txt

@@ -3,4 +3,4 @@ add_library(goto-checker ${sources})
 
 generic_includes(goto-checker)
 
-target_link_libraries(goto-checker goto-programs goto-symex solvers util)
+target_link_libraries(goto-checker goto-programs goto-symex solvers util xml goto-instrument-lib)

src/goto-programs/CMakeLists.txt

@@ -3,4 +3,4 @@ add_library(goto-programs ${sources})
 
 generic_includes(goto-programs)
 
-target_link_libraries(goto-programs util assembler langapi analyses linking)
+target_link_libraries(goto-programs util assembler langapi analyses linking ansi-c)