-
Notifications
You must be signed in to change notification settings - Fork 12
/
Dockerfile
164 lines (127 loc) · 6.76 KB
/
Dockerfile
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
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
# The various targets of this Dockerfile are described in doc/architecture.rst.
# NOTE: The value of BASE must be kept in-sync with the value of
# MATE_COMPATIBLE_BASE_IMAGE in frontend/mate/mate/build/common.py.
ARG BASE=ubuntu:20.04
FROM $BASE as base
SHELL ["/bin/bash", "-c"]
# Base image should have as few layers as possible
RUN apt-get update && \
apt-get install -y software-properties-common && \
apt-get update && \
apt-get install -y \
libboost-system-dev libboost-filesystem-dev libboost-iostreams-dev \
libssl-dev libboost-program-options-dev clang-10 man \
git python3.8 python3.8-dev python3-pip python3-setuptools python3.8-venv \
golang libstdc++-8-dev libomp-dev libzmqpp-dev \
netcat vim emacs-nox libgraphviz-dev graphviz wait-for-it && \
update-alternatives --install /usr/bin/cc cc /usr/bin/clang-10 100 && \
update-alternatives --install /usr/bin/c++ c++ /usr/bin/clang++-10 100 && \
update-alternatives --install /usr/bin/clang clang /usr/bin/clang-10 100 && \
update-alternatives --install /usr/bin/clang++ clang++ /usr/bin/clang++-10 100 && \
rm -rf /var/lib/apt/lists/*
FROM ghcr.io/trailofbits/llvm-wedlock:c2993fa3ff6ecf27eadabb5c725e8a572c28dd76 as tob-llvm-wedlock
FROM base as dev
RUN apt-get install -y software-properties-common && \
add-apt-repository -y ppa:hvr/ghc && \
apt-get update && \
apt-get install -y \
antlr4 curl locales \
cabal-install-2.4 wget git-lfs \
clang-format-10 clang-tidy-10 cmake ghc unzip \
zlib1g-dev ninja-build gdb shellcheck python3.8-dev && \
update-alternatives --install /usr/bin/cabal cabal /opt/cabal/bin/cabal 100 && \
update-alternatives --install /usr/bin/clang-format clang-format /usr/bin/clang-format-10 100 && \
rm -rf /var/lib/apt/lists/*
RUN wget https://souffle-lang.github.io/ppa/souffle-key.public -O /usr/share/keyrings/souffle-archive-keyring.gpg && \
echo "deb [signed-by=/usr/share/keyrings/souffle-archive-keyring.gpg] https://souffle-lang.github.io/ppa/ubuntu/ stable main" | tee /etc/apt/sources.list.d/souffle.list && \
apt-get update && \
apt-get install -y souffle=2.3 && \
rm -rf /var/lib/apt/lists/*
RUN wget -qnc -O /tmp/mustache.zip https://github.com/quantumew/mustache-cli/releases/download/v1.0.0/mustache-cli-linux-amd64.zip && \
unzip -j -d /usr/bin /tmp/mustache.zip mustache && \
rm /tmp/mustache.zip
RUN wget -qnc -O /usr/bin/hadolint https://github.com/hadolint/hadolint/releases/download/v1.17.5/hadolint-Linux-x86_64 && \
chmod +x /usr/bin/hadolint
RUN cabal v2-update
RUN cabal v2-install -j --overwrite-policy=always Cabal cabal-install
ENV PATH=/root/.cabal/bin:$PATH \
DOCKERIZED_MATE=1
WORKDIR /mate
COPY shake/mate.cabal /mate/mate/mate.cabal
RUN cd mate; rm -rf dist; rm -rf dist-newstyle; cabal v2-build --only-dependencies exe:mate
RUN locale-gen --purge en_US.UTF-8 && \
update-locale && \
dpkg-reconfigure -f noninteractive locales
COPY --from=tob-llvm-wedlock /opt/llvm-wedlock /opt/llvm-wedlock
COPY ./dev-requirements.txt /mate
RUN python3.8 -m pip install -r dev-requirements.txt
# If you want the paths to work for dev, then you need to run the dev container
# with the mate repo mounted at '/mate', i.e. '-v <mate-repo-root>:/mate'
ENV MATE_BDIST_ROOT "/mate/.out/bdist"
ENV LLVM_WEDLOCK_INSTALL_DIR="${MATE_BDIST_ROOT}/llvm-wedlock"
ENV LLVM_DIR="${LLVM_WEDLOCK_INSTALL_DIR}/lib/cmake/llvm" \
Clang_DIR="${LLVM_WEDLOCK_INSTALL_DIR}/lib/cmake/clang"
# Keep the following lines updated with what shows up in dist,
# except for MYPYPATH, which must not appear here.
ENV LANG=en_US.UTF-8 \
PATH="${MATE_BDIST_ROOT}/local/bin:${MATE_BDIST_ROOT}/bin:${PATH}" \
PYTHONPATH="${MATE_BDIST_ROOT}/local/lib/python3.8/site-packages:${MATE_BDIST_ROOT}/lib/python3.8/site-packages:${PYTHONPATH}" \
LD_LIBRARY_PATH="${LD_LIBRARY_PATH}:${MATE_BDIST_ROOT}/lib" \
MANPATH="${MATE_BDIST_ROOT}/local/doc/man:${MATE_BDIST_ROOT}/doc/man"
FROM base as dist
ENV MATE_BDIST_ROOT=/opt/mate
ENV LLVM_WEDLOCK_INSTALL_DIR="${MATE_BDIST_ROOT}/llvm-wedlock"
ENV LLVM_DIR="${LLVM_WEDLOCK_INSTALL_DIR}/lib/cmake/llvm" \
Clang_DIR="${LLVM_WEDLOCK_INSTALL_DIR}/lib/cmake/clang"
ENV PATH="${MATE_BDIST_ROOT}/local/bin:${MATE_BDIST_ROOT}/bin:${PATH}" \
PYTHONPATH="${MATE_BDIST_ROOT}/local/lib/python3.8/site-packages:${MATE_BDIST_ROOT}/lib/python3.8/site-packages:${PYTHONPATH}" \
MYPYPATH="${MATE_BDIST_ROOT}/local/lib/python3.8/site-packages:${MATE_BDIST_ROOT}/lib/python3.8/site-packages:${MYPYPATH}" \
LD_LIBRARY_PATH="${LD_LIBRARY_PATH}:${MATE_BDIST_ROOT}/lib" \
MANPATH="${MATE_BDIST_ROOT}/local/doc/man:${MATE_BDIST_ROOT}/doc/man" \
PYTHONWARNINGS=ignore
COPY .out/bdist/llvm-wedlock "${MATE_BDIST_ROOT}/llvm-wedlock"
COPY .out/bdist/bin "${MATE_BDIST_ROOT}/bin"
COPY .out/bdist/lib "${MATE_BDIST_ROOT}/lib"
COPY .out/bdist/libexec "${MATE_BDIST_ROOT}/libexec"
COPY .out/bdist/local "${MATE_BDIST_ROOT}/local"
COPY .out/bdist/share "${MATE_BDIST_ROOT}/share"
# Remove our prebuilt llvm-wedlock copy, now that we've stuffed it into the bdist.
RUN rm -rf /opt/llvm-wedlock
WORKDIR /root
CMD "${MATE_BDIST_ROOT}/local/bin/mate" "-v" "serve"
FROM dist AS notebook
ENV MATE_BDIST_ROOT=/opt/mate
ENV LLVM_WEDLOCK_INSTALL_DIR="${MATE_BDIST_ROOT}/llvm-wedlock"
ENV LLVM_DIR="${LLVM_WEDLOCK_INSTALL_DIR}/lib/cmake/llvm" \
Clang_DIR="${LLVM_WEDLOCK_INSTALL_DIR}/lib/cmake/clang"
ENV PATH="${MATE_BDIST_ROOT}/local/bin:${MATE_BDIST_ROOT}/bin:${PATH}" \
PYTHONPATH="${MATE_BDIST_ROOT}/local/lib/python3.8/site-packages:${MATE_BDIST_ROOT}/lib/python3.8/site-packages:${PYTHONPATH}" \
MYPYPATH="${MATE_BDIST_ROOT}/local/lib/python3.8/site-packages:${MATE_BDIST_ROOT}/lib/python3.8/site-packages:${MYPYPATH}" \
LD_LIBRARY_PATH="${LD_LIBRARY_PATH}:${MATE_BDIST_ROOT}/lib" \
MANPATH="${MATE_BDIST_ROOT}/local/doc/man:${MATE_BDIST_ROOT}/doc/man"
RUN python3.8 -m pip install jupyter pygraphviz
WORKDIR /chess/galois_items/notebooks
COPY jupyter/start-notebook-server.sh "${MATE_BDIST_ROOT}/local/bin/start-notebook-server.sh"
COPY jupyter/examples /root/notebook-examples
COPY jupyter/ipython_config.py /root/.ipython/profile_default/ipython_config.py
CMD "${MATE_BDIST_ROOT}/local/bin/start-notebook-server.sh"
FROM $BASE AS ui
ARG DEBIAN_FRONTEND=noninteractive
# node installation based on https://www.digitalocean.com/community/tutorials/how-to-install-node-js-on-ubuntu-20-04
RUN curl -sL https://deb.nodesource.com/setup_14.x | bash -
RUN apt-get update && \
apt-get install -y \
nodejs npm && \
rm -rf /var/lib/apt/lists/*
# Build UI
WORKDIR /ui-client
COPY ui-client/package*.json ./
COPY ui-client/tsconfig.json ./
COPY ui-client/public ./public
RUN npm install
RUN npm rebuild node-sass
COPY ui-client/src ./src
RUN npm build
CMD [ "npm", "start" ]
# Build dev by default
FROM dev