diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2019-08-14 10:56:26 -0700 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-08-14 12:56:26 -0500 |
commit | 94af13b18b10d6092981848fbae1b9c35b27b31d (patch) | |
tree | dba5ffd52d36b21ac4f990992b6739bb8099b10c /cmake | |
parent | 27e2baeab7fde6f2fbb5d34548303777ab7e2e5a (diff) |
cmake: Export CVC4 library interface. (#3179)
Diffstat (limited to 'cmake')
-rw-r--r-- | cmake/CVC4Config.cmake.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/cmake/CVC4Config.cmake.in b/cmake/CVC4Config.cmake.in new file mode 100644 index 000000000..f2eec75c6 --- /dev/null +++ b/cmake/CVC4Config.cmake.in @@ -0,0 +1,5 @@ +@PACKAGE_INIT@ + +if(NOT TARGET CVC4::cvc4) + include(${CMAKE_CURRENT_LIST_DIR}/CVC4Targets.cmake) +endif() |