/benga

Primary LanguageOCaml

To install you'll need docker beta.

To install run

docker build -t jenga-docker .

To start incremental builds with tests run

docker run -ti -v `pwd`:/home/opam/jengaroot/project_root jenga-docker sudo '/home/opam/.opam/4.02.3/bin/jenga' -progress -P ./project_root/.runtest

You can modify any file and jenga will pick up the changes.

To clear all incremental build artifacts (stored in the local DB, not the build atifacts files) run

docker run -ti -v `pwd`:/home/opam/jengaroot/project_root/ jenga-docker hg st -ni0 | xargs -0 rm -v