Fixed missing-symbols from api

Author: Enrico Steffinlongo

src/libcprover-cpp/CMakeLists.txt

@@ -30,7 +30,7 @@ list(APPEND
         "xml"
         "json"
         "json-symtab-language"
-        "cpp"
+#        "cpp" # This contains a file conflicting with one from ansi-c. Removed as not necessary yet
         "jsil"
         "statement-list"
         "goto-symex"
@@ -51,7 +51,7 @@ endforeach(dep LIBRARY_DEPENDENCIES)
 string(REPLACE ";" " " DEPENDENCY_TARGETS "${DEPENDENCY_TARGETS}")
 
 add_custom_command(TARGET cprover-api-cpp POST_BUILD
-                   COMMAND "${CMAKE_CURRENT_SOURCE_DIR}/aggregate_dependencies.sh" "${CMAKE_AR}" "$<TARGET_FILE:cprover-api-cpp>" "$<TARGET_FILE:cprover-api-cpp> ${DEPENDENCY_TARGETS}"
+                   COMMAND "${CMAKE_CURRENT_SOURCE_DIR}/aggregate_dependencies.sh" "${CMAKE_AR}" "$<TARGET_FILE:cprover-api-cpp>" "${DEPENDENCY_TARGETS}"
                    WORKING_DIRECTORY "${CMAKE_CURRENT_BINARY_DIR}")
 
 set(lib_version 153)

src/libcprover-cpp/aggregate_dependencies.sh

@@ -12,4 +12,4 @@ for lib in ${LIB_LIST}; do
   ${AR_COMMAND} -x ${lib}
 done
 
-${AR_COMMAND} -qcs ${DESTINATION} *.o
+${AR_COMMAND} -rcs ${DESTINATION} *.o