-
Notifications
You must be signed in to change notification settings - Fork 1
/
Dockerfile-aeg-2-4-1
29 lines (20 loc) · 1017 Bytes
/
Dockerfile-aeg-2-4-1
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
###################################################################################################
# First stage : build altgr-ergo
FROM ocaml/opam:debian-10-ocaml-4.14 as ae-builder
RUN sudo apt-get update && \
sudo apt-get upgrade -yq --with-new-pkgs --auto-remove && \
sudo apt-get install -y autoconf libgmp-dev libgtk+2.0-dev libgtk2.0-dev pkgconf zlib1g-dev libgtksourceview2.0-dev && \
sudo apt-get clean
RUN opam install altgr-ergo && \
eval `opam env` && \
sudo cp /home/opam/.opam/4.14/bin/altgr-ergo /usr/local/bin
# Target stage : user is kept to root
FROM debian:buster-slim as target
COPY --from=ae-builder /usr/local/bin/altgr-ergo /usr/local/bin
RUN mkdir /root/.config
WORKDIR /home
COPY ./altgr-ergo.conf /root/.config
RUN apt-get update -yq && \
apt-get upgrade -yq --with-new-pkgs --auto-remove && \
apt-get install -yq --no-install-recommends autoconf libgmp-dev libgtk+2.0-dev libgtk2.0-dev pkgconf zlib1g-dev libgtksourceview2.0-dev && \
apt-get clean