move sog folde

CMakeLists.txt

@@ -9,10 +9,15 @@ set(CMAKE_CXX_STANDARD 14)
 set(CMAKE_CXX_STANDARD_REQUIRED ON)
 set(CMAKE_CXX_EXTENSIONS OFF)
 
-# add sog
-set(SOG_DIR "${CMAKE_SOURCE_DIR}/libs/sog")
-message(STATUS "Building SOG ...")
-add_subdirectory(${SOG_DIR})
+# add BuDDy
+set(BUDDY_DIR "${CMAKE_CURRENT_SOURCE_DIR}/libs/buddy")
+message(STATUS "Building BuDDy parser ...")
+add_subdirectory(${BUDDY_DIR})
+
+# add pn parser
+set(PARSER_DIR "${CMAKE_CURRENT_SOURCE_DIR}/libs/parser")
+message(STATUS "Building Petri Net parser ...")
+add_subdirectory(${PARSER_DIR})
 
 # add source folder
 include_directories(src)

libs/sog/CMakeLists.txt

-# set minimum cmake version
-cmake_minimum_required(VERSION 3.5 FATAL_ERROR)
-
-# project name and language
-project(sog LANGUAGES CXX)
-
-set(CMAKE_CXX_STANDARD 14)
-set(CMAKE_CXX_STANDARD_REQUIRED ON)
-set(CMAKE_CXX_EXTENSIONS OFF)
-
-# variables
-set(SRC_DIR "${PROJECT_SOURCE_DIR}/src")
-
-# add BuDDy
-set(BUDDY_DIR "${CMAKE_CURRENT_SOURCE_DIR}/../buddy")
-message(STATUS "Building BuDDy parser ...")
-add_subdirectory(${BUDDY_DIR} "${CMAKE_CURRENT_BINARY_DIR}/libs/buddy")
-
-# add pn parser
-set(PARSER_DIR "${CMAKE_CURRENT_SOURCE_DIR}/../parser")
-message(STATUS "Building Petri Net parser ...")
-add_subdirectory(${PARSER_DIR} "${CMAKE_CURRENT_BINARY_DIR}/libs/parser")
-
-# add source folder
-include_directories(${SRC_DIR})
-add_subdirectory(src)

libs/sog/src/CMakeLists.txt

-# set minimum cmake version
-cmake_minimum_required(VERSION 3.5 FATAL_ERROR)
-
-# compilator flags
-project(sog-src LANGUAGES CXX)
-
-# generate the library from sources
-add_library(sog STATIC
-  MDGraph.cpp
-  RdPBDD.cpp
-  Modular_Obs_Graph.cpp
-)
-
-target_include_directories(sog PRIVATE "${BUDDY_DIR}/src" "${PARSER_DIR}/src")
-target_link_libraries(sog RdP bdd)
\ No newline at end of file

src/CMakeLists.txt

 # set minimum cmake version
 cmake_minimum_required(VERSION 3.5 FATAL_ERROR)
 
-add_executable(sogMBT main.cpp)
+add_executable(sogMBT main.cpp
+  MDGraph.cpp
+  RdPBDD.cpp
+  Modular_Obs_Graph.cpp
+)
 
-target_include_directories(sogMBT PRIVATE
-  "${PROJECT_SOURCE_DIR}/libs/buddy/src"
-  "${PROJECT_SOURCE_DIR}/libs/parser/src"
-  "${PROJECT_SOURCE_DIR}/libs/sog/src")
-target_link_libraries(sogMBT bdd RdP sog)
\ No newline at end of file
+target_include_directories(sogMBT PRIVATE "${BUDDY_DIR}/src" "${PARSER_DIR}/src")
+target_link_libraries(sogMBT bdd RdP)
\ No newline at end of file