From d115237aef28c318c07eee3e0bd37b7cb34ea998 Mon Sep 17 00:00:00 2001
From: abid <chiheb.abid@gmail.com>
Date: Thu, 31 Dec 2020 14:34:49 +0100
Subject: [PATCH] =?UTF-8?q?=09modifi=C3=A9=C2=A0:=20=20=20=20=20=20=20=20?=
=?UTF-8?q?=20src/CMakeLists.txt?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
src/CMakeLists.txt | 8 ++++++--
1 file changed, 6 insertions(+), 2 deletions(-)
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 7c270d1..0b6a393 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -22,9 +22,12 @@ else()
endif()
+
+
+
# Hybrid SOG executable
add_executable(mc-sog main.cpp
- PMCSOGConfig.h
+ PMCSOGConfig.h
NewNet.cpp
NewNet.h
CommonSOG.cpp
@@ -77,7 +80,8 @@ add_executable(mc-sog main.cpp
MCHybridSOG.cpp MCHybridSOG.h
ModelCheckThReq.cpp ModelCheckThReq.h md5_hash.h )
-target_include_directories(mc-sog PUBLIC "${PROJECT_BINARY_DIR}")
+
+target_include_directories(mc-sog PUBLIC "${PROJECT_BINARY_DIR}/src")
target_link_libraries(mc-sog
bddx
--
GitLab