From 8b4223fef2c8937851fd2769d553883de621700b Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Mon, 2 Jul 2018 19:50:29 -0700
Subject: [PATCH] make lp_tst optional

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/test/lp/CMakeLists.txt | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/test/lp/CMakeLists.txt b/src/test/lp/CMakeLists.txt
index 6683a1758..32d55bca8 100644
--- a/src/test/lp/CMakeLists.txt
+++ b/src/test/lp/CMakeLists.txt
@@ -1,4 +1,6 @@
-add_executable(lp_tst lp_main.cpp lp.cpp $<TARGET_OBJECTS:util> $<TARGET_OBJECTS:polynomial> $<TARGET_OBJECTS:nlsat>  $<TARGET_OBJECTS:lp> )
+add_executable(lp_tst
+EXCLUDE_FROM_ALL
+lp_main.cpp lp.cpp $<TARGET_OBJECTS:util> $<TARGET_OBJECTS:polynomial> $<TARGET_OBJECTS:nlsat>  $<TARGET_OBJECTS:lp> )
 target_compile_definitions(lp_tst PRIVATE ${Z3_COMPONENT_CXX_DEFINES})
 target_compile_options(lp_tst PRIVATE ${Z3_COMPONENT_CXX_FLAGS})
 target_include_directories(lp_tst PRIVATE ${Z3_COMPONENT_EXTRA_INCLUDE_DIRS})