site-ffdo FF Dortmund (FFDO) specific Gluon configuration Using the Dockerfile See https://docs.docker.com/installation/#installation on how to get Docker. ./build.sh Cleaning up docker rm ffdobuild docker rmi ffdobuild