diff options
| author | Abdelrahman <abdelrahman@brown.edu> | 2019-03-01 20:06:43 -0500 |
|---|---|---|
| committer | Abdelrahman <abdelrahman@brown.edu> | 2019-03-01 20:06:43 -0500 |
| commit | ed358b237b597f2198c6e354e7c4084faf769d3a (patch) | |
| tree | e93e61b6c85a043e7ec7e1a4a19beb862d8f2bea /Dockerfile | |
| parent | 3e3b115e0f3c9f0f9a37884cd3449bfbecfdc9f6 (diff) | |
| download | yosys-ed358b237b597f2198c6e354e7c4084faf769d3a.tar.gz yosys-ed358b237b597f2198c6e354e7c4084faf769d3a.tar.bz2 yosys-ed358b237b597f2198c6e354e7c4084faf769d3a.zip | |
address review comments
Diffstat (limited to 'Dockerfile')
| -rw-r--r-- | Dockerfile | 32 |
1 files changed, 9 insertions, 23 deletions
diff --git a/Dockerfile b/Dockerfile index 3a4358335..3c7188d82 100644 --- a/Dockerfile +++ b/Dockerfile @@ -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"] |