diff options
Diffstat (limited to 'src/parser/CMakeLists.txt')
| -rw-r--r-- | src/parser/CMakeLists.txt | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/parser/CMakeLists.txt b/src/parser/CMakeLists.txt index 236517b0c..d131fa7b3 100644 --- a/src/parser/CMakeLists.txt +++ b/src/parser/CMakeLists.txt @@ -108,8 +108,7 @@ if(USE_CLN) target_link_libraries(cvc4parser PRIVATE ${CLN_LIBRARIES}) target_include_directories(cvc4parser PRIVATE $<BUILD_INTERFACE:${CLN_INCLUDE_DIR}>) endif() -target_link_libraries(cvc4parser PRIVATE ${GMP_LIBRARIES}) -target_include_directories(cvc4parser PRIVATE $<BUILD_INTERFACE:${GMP_INCLUDE_DIR}>) +target_link_libraries(cvc4parser PRIVATE GMP) install(TARGETS cvc4parser EXPORT cvc4-targets |