Add missing dependency target to coverage target that

NlightNFotis · NlightNFotis · commit 2c1f941bee96 · 2021-02-11T16:07:00.000Z
is causing a test to fail.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -150,6 +150,7 @@ if("${CMAKE_CXX_COMPILER_ID}" STREQUAL "Clang" OR
               "$<TARGET_FILE:jdiff>"
               "$<TARGET_FILE:smt2_solver>"
               "$<TARGET_FILE:symtab2gb>"
+              "libour_archive.a"
             WORKING_DIRECTORY ${CMAKE_BINARY_DIR}
         )
     endif()

Original file line number	Diff line number	Diff line change
`@@ -150,6 +150,7 @@ if("${CMAKE_CXX_COMPILER_ID}" STREQUAL "Clang" OR`
`150`	`150`	`"$<TARGET_FILE:jdiff>"`
`151`	`151`	`"$<TARGET_FILE:smt2_solver>"`
`152`	`152`	`"$<TARGET_FILE:symtab2gb>"`
	`153`	`+ "libour_archive.a"`
`153`	`154`	`WORKING_DIRECTORY ${CMAKE_BINARY_DIR}`
`154`	`155`	`)`
`155`	`156`	`endif()`