diff --git a/docker/pinocchio/Dockerfile b/docker/pinocchio/Dockerfile index 07e383f00489621695493d756b00be505f302190..822da5aa63122ccadf99d186df6b54774a9144eb 100644 --- a/docker/pinocchio/Dockerfile +++ b/docker/pinocchio/Dockerfile @@ -53,3 +53,5 @@ RUN cmake -DPYTHON_EXECUTABLE=$(which $PYTHON) .. \ && make -j$MAKE_JOBS \ && make test \ && make install + +ENV PYTHONPATH=/usr/local/lib/python3/dist-packages/