diff --git a/ci/README.md b/ci/README.md index b97e8154a4..42e23486c7 100644 --- a/ci/README.md +++ b/ci/README.md @@ -12,3 +12,4 @@ Running new build of /home/andrey/github/tiledarray on andrey.tiledarray.build This builds targets `all check` on current Git branch in a docker container named `${USER}.$(basename $PWD).build` +To use a specific Ubuntu image tag, set environment variable `VALEEVGROUP_UBUNTU_TAG` to one of the [available values](https://hub.docker.com/r/valeevgroup/ubuntu/tags), e.g. `18:04`. diff --git a/ci/docker-run-ci b/ci/docker-run-ci index 32aedfcfa3..07ee355f3d 100755 --- a/ci/docker-run-ci +++ b/ci/docker-run-ci @@ -1,11 +1,11 @@ #!/bin/bash # build project via docker run, eg -# usage: docker-run-ci [ VAR=VALUE ... ] [ target ... ] -# example: ./ci/docker-run-ci ./build-dir MPQC_BUILD_DEPENDENCIES_FROM_SOURCE=OFF ENABLE_CUDA=ON all check +# usage: docker-run-ci [ VAR=VALUE ... ] [ target ... ] +# example: ./ci/docker-run-ci TA_PYTHON=OFF ENABLE_CUDA=ON all check project=$(basename $PWD) -image=valeevgroup/ubuntu +image=valeevgroup/ubuntu:${VALEEVGROUP_UBUNTU_TAG:-latest} name=$USER.${project}.build project_source_dir=$PWD