drift/Dockerfile at master · nyu-acsys/drift · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
# Base image
FROM ubuntu:22.04

# Avoid some interactive prompts
ARG DEBIAN_FRONTEND=noninteractive
ENV LANG=C.UTF-8

# Create a user
ARG USERNAME=evdrift
ARG USER_UID=1000
ARG USER_GID=$USER_UID

RUN apt-get update -y

RUN groupadd --gid $USER_GID $USERNAME \
    && useradd --uid $USER_UID --gid $USER_GID -m $USERNAME --shell /bin/zsh \
    #
    # [Optional] Add sudo support.
    && apt-get install -y sudo \
    && echo $USERNAME ALL=\(root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME \
    && chmod 0440 /etc/sudoers.d/$USERNAME

# Install dependencies
RUN apt-get update -y && apt-get install -y \
  git \
  curl \
  gnupg \
  openjdk-17-jdk \
  build-essential \
  ca-certificates \
  libppl-dev \
  libblas-dev \
  liblapack-dev \
  libmpfr-dev \
  libgmp-dev \
  libglpk-dev \
  libffi-dev \
  opam \
  autoconf libpcre2-dev pkg-config python3-distutils xdot \
  && apt-get clean \
  && rm -rf /var/lib/apt/lists/*

# install Rust
RUN curl https://sh.rustup.rs -sSf | sh -s -- -y
# Add Cargo (Rust package manager) to PATH
ENV PATH="/root/.cargo/bin:${PATH}"

# Project's directory
RUN mkdir /oopsla25
WORKDIR /oopsla25

# Set up OCaml env (required by Drift)
RUN opam init -y --disable-sandboxing --compiler 4.14.1
RUN opam switch 4.14.1

# Set environment variables
RUN export LD_LIBRARY_PATH="$LD_LIBRARY_PATH:$OPAM_SWITCH_PREFIX/share/apron/lib"
# ENV LD_LIBRARY_PATH="$LD_LIBRARY_PATH:$OPAM_SWITCH_PREFIX/share/apron/lib"

# evDrift source code and compilation
RUN git clone https://github.com/nyu-acsys/drift.git evDrift
WORKDIR /oopsla25/evDrift

# Drift executable
RUN opam install -y dune \
  && eval $(opam env) \
  && opam install . --deps -y \
  && dune build

# MoCHi
WORKDIR /oopsla25
RUN git clone https://github.com/hopv/MoCHi.git
WORKDIR /oopsla25/MoCHi
RUN opam switch create 4.14.0
# Dep: HorSat2
WORKDIR /oopsla25
RUN git clone https://github.com/hopv/horsat2.git
WORKDIR /oopsla25/horsat2
RUN eval $(opam env) && make horsat2
ENV PATH="/oopsla25/horsat2:${PATH}"
# Dep: Hoice (installed via Cargo)
RUN rustup update stable
RUN cargo install --git https://github.com/hopv/hoice
# MoCHi executable
WORKDIR /oopsla25/MoCHi
RUN opam install -y dune \
  && eval $(opam env) \
  && dune build mochi.opam \
  && opam install . --deps-only -y \
  && dune build --release

# RCaml
WORKDIR /oopsla25
RUN git clone https://github.com/hiroshi-unno/coar.git
WORKDIR /oopsla25/coar
RUN opam switch create 5.3.0
RUN opam install -y dune \
  && eval $(opam env) \
  && opam install . --deps-only -y \
  && dune build main.exe

#ReTHFL
WORKDIR /oopsla25
RUN git clone https://github.com/hopv/rethfl.git
WORKDIR /oopsla25/rethfl
RUN opam switch create rethfl 4.14.1
RUN opam install -y dune \
  && eval $(opam env --switch=rethfl) \
  && opam install . --deps-only -y \
  && dune build
# Dep: Eldarica
WORKDIR /oopsla25
RUN git clone https://github.com/uuverifiers/eldarica.git
WORKDIR /oopsla25/eldarica
# install sbt
RUN curl -fsSL "https://keyserver.ubuntu.com/pks/lookup?op=get&search=0x642AC823" \
  | gpg --dearmor -o /usr/share/keyrings/sbt.gpg && \
  echo "deb [signed-by=/usr/share/keyrings/sbt.gpg] https://repo.scala-sbt.org/scalasbt/debian all main" \
  > /etc/apt/sources.list.d/sbt.list && \
  apt-get update -y && \
  apt-get install -y --no-install-recommends sbt && \
  apt-get clean && rm -rf /var/lib/apt/lists/*
RUN sbt assembly
ENV PATH="/oopsla25/eldarica:${PATH}"

# Symbolic links needed for running the tools
WORKDIR /oopsla25/evDrift
RUN ln -s /oopsla25/MoCHi/src/mochi.exe mochi.exe
RUN ln -s /oopsla25/coar/_build/default/main.exe rcaml.exe
RUN ln -s /oopsla25/rethfl/_build/default/bin/main.exe rethfl.exe
RUN ln -s /oopsla25/coar/config config