diff options
Diffstat (limited to 'src/CMakeLists.txt')
-rw-r--r-- | src/CMakeLists.txt | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 17d7fd814..4ba64c11a 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -1,3 +1,6 @@ +#-----------------------------------------------------------------------------# +# Collect libcvc4 source files + libcvc4_add_sources( api/cvc4cpp.cpp api/cvc4cpp.h @@ -646,10 +649,15 @@ libcvc4_add_sources( theory/valuation.h ) +#-----------------------------------------------------------------------------# # Add required include paths for this and all subdirectories. + include_directories(include) include_directories(. ${CMAKE_CURRENT_BINARY_DIR}) +#-----------------------------------------------------------------------------# +# Add subdirectories + add_subdirectory(base) add_subdirectory(expr) add_subdirectory(main) @@ -658,8 +666,10 @@ add_subdirectory(parser) add_subdirectory(theory) add_subdirectory(util) -# All sources for libcvc4 are now collected via libcvc4_add_sources. We can -# now build libcvc4. +#-----------------------------------------------------------------------------# +# All sources for libcvc4 are now collected in LIBCVC4_SRCS and (if generated) +# LIBCVC4_GEN_SRCS (via libcvc4_add_sources). We can now build libcvc4. + set_source_files_properties(${LIBCVC4_GEN_SRCS} PROPERTIES GENERATED TRUE) add_library(cvc4 ${LIBCVC4_SRCS} ${LIBCVC4_GEN_SRCS}) |