blob: 430356e3aee2b0fa3af5306e5b8152905f0f9c81 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
|
diff --git a/solver/CMakeLists.txt b/solver/CMakeLists.txt
index a159187a5b27..9618f9a0576d 100644
--- a/solver/CMakeLists.txt
+++ b/solver/CMakeLists.txt
@@ -28,3 +28,5 @@ set(CMAKE_CXX_FLAGS "-Wall -Wextra -O3 -g")
set(CMAKE_C_FLAGS "-O3 -g")
#set(CMAKE_CXX_FLAGS_DEBUG "-g")
#set(CMAKE_CXX_FLAGS_RELEASE "-O3")
+
+install(TARGETS solver-smt solver-fuzzy)
|
