projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
223431a
)
cmake: Require boost 1.50.0 for examples. (#2710)
author
Mathias Preiner
<mathias.preiner@gmail.com>
Wed, 14 Nov 2018 19:48:49 +0000
(11:48 -0800)
committer
Andres Noetzli
<andres.noetzli@gmail.com>
Wed, 14 Nov 2018 19:48:49 +0000
(11:48 -0800)
examples/CMakeLists.txt
patch
|
blob
|
history
diff --git
a/examples/CMakeLists.txt
b/examples/CMakeLists.txt
index 68eb06074bf1735fd031334794d7ce242f9890d6..8cf2208ea8fa9bbe67a9557da61e3f12e6d3b774 100644
(file)
--- a/
examples/CMakeLists.txt
+++ b/
examples/CMakeLists.txt
@@
-4,7
+4,7
@@
include_directories(${CMAKE_BINARY_DIR}/src)
# Some of the examples require boost. Enable these examples if boost is
# installed.
-find_package(Boost)
+find_package(Boost
1.50.0
)
set(EXAMPLES_BIN_DIR ${CMAKE_BINARY_DIR}/bin/examples)