We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 4dec96f commit f847b7cCopy full SHA for f847b7c
docker/common/install-pinocchio
@@ -7,6 +7,8 @@ git clone https://github.com/stack-of-tasks/pinocchio "${TMP_DIR}"
7
cd "${TMP_DIR}"
8
git checkout "${PINOCCHIO_VERSION}"
9
git submodule update --init --recursive
10
+# Workaround to prevent them from overriding CMP0167=OLD again
11
+sed -i 's/^[[:space:]]*cmake_policy(SET CMP0167 NEW)/# &/' CMakeLists.txt
12
mkdir build
13
cd build
14
# CMP0167 has to be set to OLD to be compatible with outdated boost versions
0 commit comments