dockerfile: use PREFIX instead of cp
[yosys.git] / Dockerfile
1 ARG IMAGE="ubuntu:18.04"
2
3 #---
4
5 FROM $IMAGE AS base
6
7 RUN apt-get update -qq \
8 && DEBIAN_FRONTEND=noninteractive apt-get -y install --no-install-recommends \
9 ca-certificates \
10 libreadline-dev \
11 tcl-dev \
12 && apt-get autoclean && apt-get clean && apt-get -y autoremove \
13 && update-ca-certificates \
14 && rm -rf /var/lib/apt/lists
15
16 #---
17
18 FROM base AS build
19
20 RUN apt-get update -qq \
21 && DEBIAN_FRONTEND=noninteractive apt-get -y install --no-install-recommends \
22 clang \
23 bison \
24 build-essential \
25 flex \
26 gawk \
27 git \
28 libffi-dev \
29 pkg-config \
30 python3 \
31 && apt-get autoclean && apt-get clean && apt-get -y autoremove \
32 && rm -rf /var/lib/apt/lists
33
34 COPY . /yosys
35
36 ENV PREFIX /opt/yosys
37
38 RUN cd /yosys \
39 && make \
40 && make install \
41 && make test
42
43 #---
44
45 FROM base
46
47 COPY --from=build /opt/yosys /opt/yosys
48
49 ENV PATH /opt/yosys/bin:$PATH
50
51 RUN useradd -m yosys
52 USER yosys
53
54 CMD ["yosys"]