diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-08-16 17:57:55 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
commit | 385b9961186691c0618754bc9b0f49458c20445d (patch) | |
tree | 634d9174c690eb69a9af7126a835289d57259408 /src/CMakeLists.txt | |
parent | fccf3d6251ea174b9cacd185202b9411c8f159ef (diff) |
cmake: Fix some includes.
Diffstat (limited to 'src/CMakeLists.txt')
-rw-r--r-- | src/CMakeLists.txt | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index a5328843f..2d8d20962 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -573,10 +573,8 @@ target_link_libraries(cvc4 ${CVC4_LIBRARIES} ) +include_directories(include) include_directories(. ${CMAKE_CURRENT_BINARY_DIR}) -include_directories(expr ${CMAKE_CURRENT_BINARY_DIR}/expr) -include_directories(include ${CMAKE_CURRENT_BINARY_DIR}/include) -include_directories(options ${CMAKE_CURRENT_BINARY_DIR}/options) add_subdirectory(base) #add_subdirectory(bindings) |