example-robot-data: patch for pinocchio v3.0.0

This commit is contained in:
Guilhem Saurel 2024-05-28 11:18:44 +02:00
parent 32a22d7f48
commit 6d581993d6

View File

@ -1,6 +1,7 @@
{ lib
, stdenv
, fetchFromGitHub
, fetchpatch
, cmake
, pythonSupport ? false
, python3Packages
@ -20,6 +21,16 @@ stdenv.mkDerivation (finalAttrs: {
strictDeps = true;
patches = [
# Temporary patch for pinocchio v3.0.0 compatibility.
# Should be removed on next example-robot-data release
(fetchpatch {
name = "pin3.patch";
url = "https://github.com/Gepetto/example-robot-data/pull/217/commits/a605ceec857005cde153ec5895e227205eb7a5c3.patch";
hash = "sha256-cvAWFytrU2XVggo/nCg8cuLcaZBTACXg6LxjL/6YMPs=";
})
];
nativeBuildInputs = [
cmake
];