diff options
| -rw-r--r-- | .dockerignore | 4 | ||||
| -rw-r--r-- | Dockerfile.nightly | 16 | ||||
| -rw-r--r-- | Dockerfile.release (renamed from Dockerfile) | 0 | ||||
| -rw-r--r-- | src/libsail.mllib | 1 |
4 files changed, 21 insertions, 0 deletions
diff --git a/.dockerignore b/.dockerignore index f3b64113..a06dd1db 100644 --- a/.dockerignore +++ b/.dockerignore @@ -1 +1,5 @@ **/.git +*.md +.gitignore +.dockerignore +Dockerfile diff --git a/Dockerfile.nightly b/Dockerfile.nightly new file mode 100644 index 00000000..7dee7934 --- /dev/null +++ b/Dockerfile.nightly @@ -0,0 +1,16 @@ +FROM ubuntu + +# Install apt deps +RUN apt-get update && apt-get install -y --no-install-recommends ca-certificates build-essential libgmp-dev z3 libz3-dev opam rsync pkg-config m4 zlib1g-dev + +# Configure opam +RUN opam init -y --no-setup --compiler=4.10.0 --shell=sh --disable-sandboxing + +# Copy code +WORKDIR /sail-src +COPY . /sail-src + +# build +RUN opam pin -y add sail $PWD + +ENTRYPOINT [ "/sail-src/docker_entry_point.sh" ] diff --git a/Dockerfile b/Dockerfile.release index 4db0ce5f..4db0ce5f 100644 --- a/Dockerfile +++ b/Dockerfile.release diff --git a/src/libsail.mllib b/src/libsail.mllib index ff8ea23b..c5d81af6 100644 --- a/src/libsail.mllib +++ b/src/libsail.mllib @@ -1,5 +1,6 @@ Anf Ast +Ast_defs Ast_util Bitfield C_backend |