From da7ba2ea7b48a3626ce1f2854726f04949ba0bab Mon Sep 17 00:00:00 2001
From: Jaime Arias Almeida <arias@lipn.univ-paris13.fr>
Date: Fri, 17 Jan 2020 16:07:13 +0100
Subject: [PATCH] Add static spot libraries
---
CMakeLists.txt | 2 +-
src/CMakeLists.txt | 8 ++++----
2 files changed, 5 insertions(+), 5 deletions(-)
diff --git a/CMakeLists.txt b/CMakeLists.txt
index 7550196..ce56425 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -29,7 +29,7 @@ set(SPOT_DIR "${CMAKE_BINARY_DIR}/third-party/spot")
ExternalProject_Add(SpotLibrary
PREFIX ${SPOT_DIR}
SOURCE_DIR ${SPOT_SOURCE_DIR}
- CONFIGURE_COMMAND autoreconf -if ${SPOT_SOURCE_DIR} && ${SPOT_SOURCE_DIR}/configure --disable-python --prefix=<INSTALL_DIR>
+ CONFIGURE_COMMAND autoreconf -if ${SPOT_SOURCE_DIR} && ${SPOT_SOURCE_DIR}/configure --disable-python --prefix=<INSTALL_DIR> --enable-static
BUILD_COMMAND make -j
)
include_directories("${SPOT_DIR}/include")
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 0acdaaa..2f27223 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -10,12 +10,12 @@ find_package(OpenSSL)
include_directories(${OPENSSL_INCLUDE_DIR})
# include spot library
-add_library(spot SHARED IMPORTED)
-set_target_properties(spot PROPERTIES IMPORTED_LOCATION "${SPOT_DIR}/lib/libspot.so")
+add_library(spot STATIC IMPORTED)
+set_target_properties(spot PROPERTIES IMPORTED_LOCATION "${SPOT_DIR}/lib/libspot.a")
# include bddx library
-add_library(bddx SHARED IMPORTED)
-set_target_properties(bddx PROPERTIES IMPORTED_LOCATION "${SPOT_DIR}/lib/libbddx.so")
+add_library(bddx STATIC IMPORTED)
+set_target_properties(bddx PROPERTIES IMPORTED_LOCATION "${SPOT_DIR}/lib/libbddx.a")
# Hybrid SOG executable
add_executable(pmc-sog main.cpp
--
GitLab