diff --git a/.gitpod.dockerfile b/.gitpod.dockerfile index 53d336f81..f38914053 100644 --- a/.gitpod.dockerfile +++ b/.gitpod.dockerfile @@ -5,5 +5,7 @@ RUN sudo apt-get update \ doxygen \ graphviz \ ninja-build \ + freeglut3 \ + freeglut3-dev \ && pip install cpplint \ && sudo rm -rf /var/lib/apt/lists/*