diff options
| author | Benedikt Radtke | 2020-09-29 19:33:32 +0200 |
|---|---|---|
| committer | Benedikt Radtke | 2020-09-30 20:33:52 +0200 |
| commit | 8bb596bef3b78a96dcf5b47d7267654057d76493 (patch) | |
| tree | 9050e68e7b09d5756885f5c56a505ba29714747e /Dockerfile.nightly | |
| parent | 551bca444eaf0acd97324c12005e9a8280437217 (diff) | |
Add Dockerfile that builds sail from source
Diffstat (limited to 'Dockerfile.nightly')
| -rw-r--r-- | Dockerfile.nightly | 16 |
1 files changed, 16 insertions, 0 deletions
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" ] |