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.release | |
| parent | 551bca444eaf0acd97324c12005e9a8280437217 (diff) | |
Add Dockerfile that builds sail from source
Diffstat (limited to 'Dockerfile.release')
| -rw-r--r-- | Dockerfile.release | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/Dockerfile.release b/Dockerfile.release new file mode 100644 index 00000000..4db0ce5f --- /dev/null +++ b/Dockerfile.release @@ -0,0 +1,22 @@ +FROM ubuntu +RUN apt-get update +RUN apt-get upgrade -y +RUN DEBIAN_FRONTEND="noninteractive" apt-get install -y opam build-essential libgmp-dev z3 pkg-config zlib1g-dev +RUN mkdir /etc/sudoers.d/ && \ + echo 'opam ALL=(ALL:ALL) NOPASSWD:ALL' > /etc/sudoers.d/opam && \ + chmod 440 /etc/sudoers.d/opam && \ + chown root:root /etc/sudoers.d/opam && \ + adduser --disabled-password --gecos '' opam && \ + passwd -l opam && \ + chown -R opam:opam /home/opam +USER opam +ENV HOME /home/opam +WORKDIR /home/opam +RUN opam init --disable-sandboxing +RUN eval `opam env` && \ + opam repository add rems https://github.com/rems-project/opam-repository.git && \ + opam install -y sail +COPY --chown=opam docker_entry_point.sh /home/opam/ +RUN chmod +x docker_entry_point.sh +WORKDIR /data +ENTRYPOINT ["/home/opam/docker_entry_point.sh"] |