FF Dortmund (FFDO) specific Gluon configuration

Torben Weibert 16ac7147ac Added public signing key for Torben 10 年之前
docker 4dbe1df169 use dirclean instead of clean between builds 10 年之前
i18n 6bc9e587d6 Support for v2015.2 (master branch, in development) 10 年之前
Dockerfile f6dc81eb70 Update to v2016.1 10 年之前
README.md 78c24f48f1 Add documentation 10 年之前
site.conf 16ac7147ac Added public signing key for Torben 10 年之前
site.mk f6dc81eb70 Update to v2016.1 10 年之前

README.md

site-ffdo

FF Dortmund (FFDO) specific Gluon configuration

Using the Dockerfile

See https://docs.docker.com/installation/#installation on how to get Docker.

docker build -t ffdobuild .
docker run ffdobuild

After a successful build you can remove the used container. Use docker ps -a to find the container ID and docker rm <container> to remove the container. Use docker rmi ffdobuild to remove the image used to create the container.