blobs

2018-02-23 14:09:58 +00:00
parent 1066ded7d9
commit d6aaa8a03e
11 changed files with 14 additions and 92 deletions
--- a/cmake/Sources.cmake
+++ b/cmake/Sources.cmake
@@ -216,8 +216,6 @@ set (INCLUDE_HEADERS
 set (CONFIGURATION_HEADERS
 ${CMAKE_BINARY_DIR}/YapConfig.h
    ${CMAKE_BINARY_DIR}/YapTermConfig.h
-    ${CMAKE_BINARY_DIR}/config.h
-    ${CMAKE_BINARY_DIR}/cudd_config.h
    ${CMAKE_BINARY_DIR}/dlocals.h
    ${CMAKE_BINARY_DIR}/YapIOConfig.h
 )