From 4031b2316a5aa91c7709c92be20dc874e9a36806 Mon Sep 17 00:00:00 2001
From: Jaime Arias <arias@lipn.univ-paris13.fr>
Date: Mon, 23 Dec 2019 10:16:32 +0100
Subject: [PATCH] Fix: autoconfigure spot library
---
.gitignore | 4 ----
CMakeLists.txt | 2 +-
2 files changed, 1 insertion(+), 5 deletions(-)
diff --git a/.gitignore b/.gitignore
index bca8fd9..db7a40b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -69,10 +69,6 @@ obj/
### Code ###
.vscode/*
-!.vscode/settings.json
-!.vscode/tasks.json
-!.vscode/launch.json
-!.vscode/extensions.json
### Eclipse ###
.metadata
diff --git a/CMakeLists.txt b/CMakeLists.txt
index 1671ea6..7550196 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 ${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>
BUILD_COMMAND make -j
)
include_directories("${SPOT_DIR}/include")
--
GitLab