FF Dortmund (FFDO) specific Gluon configuration

Markus Lindenberg d6c6de89f7 Add timing for build.sh 10 anni fa
i18n 6bc9e587d6 Support for v2015.2 (master branch, in development) 10 anni fa
Dockerfile 5e2db27a05 Use python instead of shell for build script, only build some targets by default 10 anni fa
README.md 5e2db27a05 Use python instead of shell for build script, only build some targets by default 10 anni fa
build.sh d6c6de89f7 Add timing for build.sh 10 anni fa
docker-build.py 5e2db27a05 Use python instead of shell for build script, only build some targets by default 10 anni fa
site.conf aa186a2ed4 Fix update path 10 anni fa
site.mk cfe56e0bed Clean up, prepare stable release 0.8.0 10 anni fa

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.

./build.sh

Cleaning up

docker rm ffodbuild
docker rmi ffdobuild