FF Dortmund (FFDO) specific Gluon configuration

Till Klocke 1071de47fb The file targets.mk now doesn't stop the build any more 9 лет назад
i18n 6bc9e587d6 Support for v2015.2 (master branch, in development) 9 лет назад
Dockerfile cfe56e0bed Clean up, prepare stable release 0.8.0 8 лет назад
README.md 78c24f48f1 Add documentation 9 лет назад
docker-build.sh 1071de47fb The file targets.mk now doesn't stop the build any more 8 лет назад
site.conf aa186a2ed4 Fix update path 8 лет назад
site.mk cfe56e0bed Clean up, prepare stable release 0.8.0 8 лет назад

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.