FF Dortmund (FFDO) specific Gluon configuration

Markus Lindenberg 1359954126 Fix site prefix 8 tahun lalu
i18n 6bc9e587d6 Support for v2015.2 (master branch, in development) 9 tahun lalu
Dockerfile 00152c903f Continue if a target fails, merge builds in output directory, clean up 8 tahun lalu
README.md 00152c903f Continue if a target fails, merge builds in output directory, clean up 8 tahun lalu
build.sh d6c6de89f7 Add timing for build.sh 8 tahun lalu
docker-build.py 18bae87360 Fix error when arch dir exists 8 tahun lalu
site.conf 1359954126 Fix site prefix 8 tahun lalu
site.mk 00152c903f Continue if a target fails, merge builds in output directory, clean up 8 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 ffdobuild
docker rmi ffdobuild