Dockerfile

   1 FROM ubuntu:18.04 as builder
   2 LABEL author="Abdelrahman Hosny <abdelrahman.hosny@hotmail.com>"
   3 ENV DEBIAN_FRONTEND=noninteractive
   4 RUN apt-get update && apt-get install -y build-essential \
   5     clang \
   6     bison \
   7     flex \
   8     libreadline-dev \
   9     gawk \
  10     tcl-dev \
  11     libffi-dev \
  12     git \
  13     pkg-config \
  14     python3 && \
  15     rm -rf /var/lib/apt/lists
  16 COPY . /
  17 RUN make && \
  18     make install
  19
  20 FROM ubuntu:18.04
  21 ENV DEBIAN_FRONTEND=noninteractive
  22 RUN apt-get update && apt-get install -y libreadline-dev tcl-dev
  23
  24 COPY --from=builder /yosys /build/yosys
  25 COPY --from=builder /yosys-abc /build/yosys-abc
  26 COPY --from=builder /yosys-config /build/yosys-config
  27 COPY --from=builder /yosys-filterlib /build/yosys-filterlib
  28 COPY --from=builder /yosys-smtbmc /build/yosys-smtbmc
  29
  30 ENV PATH /build:$PATH
  31 RUN useradd -m yosys
  32 USER yosys
  33 ENTRYPOINT ["yosys"]