riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

address review comments

This commit is contained in:
Abdelrahman 2019-03-01 20:06:43 -05:00
parent 3e3b115e0f
commit ed358b237b
1 changed files with 9 additions and 23 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
Dockerfile
View File

@ -1,6 +1,6 @@
FROM ubuntu:16.04 as builder
FROM ubuntu:18.04 as builder
LABEL author="Abdelrahman Hosny <abdelrahman.hosny@hotmail.com>"
ENV DEBIAN_FRONTEND=noninteractive
RUN apt-get update && apt-get install -y build-essential \
clang \
bison \
@ -10,29 +10,17 @@ RUN apt-get update && apt-get install -y build-essential \
tcl-dev \
libffi-dev \
git \
graphviz \
xdot \
pkg-config \
python3
python3 && \
rm -rf /var/lib/apt/lists
COPY . /
RUN make && \
make install
FROM ubuntu:18.04
ENV DEBIAN_FRONTEND=noninteractive
RUN apt-get update && apt-get install -y libreadline-dev tcl-dev
FROM ubuntu:16.04
RUN apt-get update && apt-get install -y clang \
bison \
flex \
libreadline-dev \
gawk \
tcl-dev \
libffi-dev \
git \
graphviz \
xdot \
pkg-config \
python3
COPY --from=builder /yosys /build/yosys
COPY --from=builder /yosys-abc /build/yosys-abc
COPY --from=builder /yosys-config /build/yosys-config
@ -40,8 +28,6 @@ COPY --from=builder /yosys-filterlib /build/yosys-filterlib
COPY --from=builder /yosys-smtbmc /build/yosys-smtbmc
ENV PATH /build:$PATH
RUN mkdir /data
WORKDIR /data
RUN useradd -m yosys
USER yosys
ENTRYPOINT ["yosys"]