Home Esplora Aiuto
Accedi
ffdo-infrastruktur
/
site-ffdo
mirror da https://github.com/ffdo/site-ffdo.git
4
0
Forka 0
File

FF Dortmund (FFDO) specific Gluon configuration

Albero (Tree): 18bae87360
Rami (Branch) Tag
site-ffdo
ZIP TAR.GZ
Markus Lindenberg 18bae87360 Fix error when arch dir exists 10 anni fa
i18n 6bc9e587d6 Support for v2015.2 (master branch, in development) 10 anni fa
Dockerfile 00152c903f Continue if a target fails, merge builds in output directory, clean up 10 anni fa
README.md 00152c903f Continue if a target fails, merge builds in output directory, clean up 10 anni fa
build.sh d6c6de89f7 Add timing for build.sh 10 anni fa
docker-build.py 18bae87360 Fix error when arch dir exists 10 anni fa
site.conf 00152c903f Continue if a target fails, merge builds in output directory, clean up 10 anni fa
site.mk 00152c903f Continue if a target fails, merge builds in output directory, clean up 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 ffdobuild
docker rmi ffdobuild