From 3deec83a00e3f3e3e7021b5c8d4965db95c2bc3a Mon Sep 17 00:00:00 2001
From: pFernbach <pierre.fernbach@gmail.com>
Date: Fri, 11 Oct 2019 13:35:17 +0200
Subject: [PATCH] Replace optional dependency to pinocchio to a compilation
 option (off by default)

---
 CMakeLists.txt | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 2671c8e..5e887c0 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -18,10 +18,11 @@ SET(CXX_DISABLE_WERROR True)
 SETUP_HPP_PROJECT()
 
 ADD_REQUIRED_DEPENDENCY(eigen3)
-ADD_OPTIONAL_DEPENDENCY(pinocchio)
-IF(PINOCCHIO_FOUND)
-  ADD_DEFINITIONS(-DCURVES_WITH_PINOCCHIO_SUPPORT)
-ENDIF(PINOCCHIO_FOUND)
+OPTION(CURVES_WITH_PINOCCHIO_SUPPORT "Build with pinocchio support" OFF)
+IF(CURVES_WITH_PINOCCHIO_SUPPORT)
+  ADD_REQUIRED_DEPENDENCY(pinocchio)
+ENDIF(CURVES_WITH_PINOCCHIO_SUPPORT)
+
 
 SET(BOOST_COMPONENTS unit_test_framework serialization)
 
-- 
GitLab