Name		Name	Last commit message	Last commit date
parent directory ..
README.md		README.md
build.sh		build.sh
clean.sh		clean.sh
gen-docker.sh		gen-docker.sh
make-ci.py		make-ci.py
make-gen-docker.py		make-gen-docker.py

README.md

How to generate `docker/Dockerfile.*` and `circle.yml`

Step 1. generate scripts for generating dockerfiles

python make-gen-docker.py

This should generate gen-docker.sh.

Step 2. generate dockerfiles

Run gen-docker.sh, which should generate docker/Dockerfile.*.

Step 3. generate the configuration file for CircleCI

python make-circleci.py

This should generate circle.yml.