FF Dortmund (FFDO) specific Gluon configuration

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

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