From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Wed, 14 Nov 2018 19:48:49 +0000 (-0800)
Subject: cmake: Require boost 1.50.0 for examples. (#2710)
X-Git-Tag: cvc5-1.0.0~4367
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=61e8e59b1cc27d555f8381809c2e313a79c83ddc;p=cvc5.git

cmake: Require boost 1.50.0 for examples. (#2710)
---

diff --git a/examples/CMakeLists.txt b/examples/CMakeLists.txt
index 68eb06074..8cf2208ea 100644
--- 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)