diff --git a/CMakeLists.txt b/CMakeLists.txt
index 28c636113b9a7354d2be08cad82c867e586e2842..b96794f79102f0c0399e9654c65771d4d882ccd1 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -25,6 +25,7 @@ IF(CURVES_WITH_PINOCCHIO_SUPPORT)
   IF(NOT PINOCCHIO_FOUND)
     MESSAGE(FATAL_ERROR "CURVES_WITH_PINOCCHIO_SUPPORT selected, but pinocchio has not been found")
   ENDIF(NOT PINOCCHIO_FOUND)
+  ADD_DEFINITIONS(-DCURVES_WITH_PINOCCHIO_SUPPORT)
   PKG_CONFIG_APPEND_CFLAGS("-DCURVES_WITH_PINOCCHIO_SUPPORT")
 ENDIF(CURVES_WITH_PINOCCHIO_SUPPORT)