libcprover-cpp regression test: don't duplicate object files

The object files are already part of libcprover-cpp, no need to add them
again. Doing so results in duplicate-definition errors on FreeBSD.

Author: tautschnig

Diff for: regression/libcprover-cpp/CMakeLists.txt

@@ -1,7 +1,5 @@
-file(GLOB_RECURSE api_sources "../src/libcprover-cpp/*.cpp" "../src/libcprover-cpp/*.h")
-
 # This step builds a binary driving the API (to be used for testing)
-add_executable(api-binary-driver call_bmc.cpp ${api_sources})
+add_executable(api-binary-driver call_bmc.cpp)
 cprover_default_properties(api-binary-driver)
 target_include_directories(api-binary-driver
     PUBLIC

Diff for: regression/libcprover-cpp/Makefile

@@ -1,6 +1,6 @@
 default: tests.log
 
-SRC = call_bmc.cpp $(wildcard ../../src/libcprover-cpp/*.cpp)
+SRC = call_bmc.cpp
 
 OBJ += ../../src/libcprover-cpp/libcprover-cpp$(LIBEXT)