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.
tautschnig · Nov 16, 2023 · 9ecf930 · 9ecf930
1 parent ab4ed78
commit 9ecf930
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 4 deletions.
diff --git a/regression/libcprover-cpp/CMakeLists.txt b/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 --git a/regression/libcprover-cpp/Makefile b/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)