diff --git a/pinocchio/PLIST b/pinocchio/PLIST index 59c9ae47f868f3c1611e1b096ef5440e7cc0dc4f..42c3a4bdceb3fc926f6e15e6e7d686cb2692e9a6 100644 --- a/pinocchio/PLIST +++ b/pinocchio/PLIST @@ -95,15 +95,6 @@ include/pinocchio/tools/file-explorer.hpp include/pinocchio/tools/string-generator.hpp include/pinocchio/tools/timer.hpp include/pinocchio/warning.hh -include/src/angle-axis.hpp -include/src/details.hpp -include/src/eigenpy.hpp -include/src/exception.hpp -include/src/fwd.hpp -include/src/geometry.hpp -include/src/map.hpp -include/src/memory.hpp -include/src/quaternion.hpp lib/libpinocchio.so lib/pkgconfig/pinocchio.pc ${PYTHON_SITELIB}/pinocchio/__init__.py diff --git a/pinocchio/depend.mk b/pinocchio/depend.mk index 4ca064a3e219f9183752efda46c404d32720401d..ba8fb170fd3d4b5503a16f271fc7f69ffa8b086e 100644 --- a/pinocchio/depend.mk +++ b/pinocchio/depend.mk @@ -18,7 +18,7 @@ SYSTEM_SEARCH.pinocchio=\ DEPEND_USE+= pinocchio -DEPEND_ABI.pinocchio?= pinocchio>=1.1.0 +DEPEND_ABI.pinocchio?= pinocchio>=1.1.2 DEPEND_DIR.pinocchio?= ../../wip/pinocchio endif # PINOCCHIO_DEPEND_MK -------------------------------------------------