diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-14 10:33:27 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-14 10:33:27 -0700 |
| commit | 42f6b48d564f9897d6d5a0d2f4356ac9157693fe (patch) | |
| tree | 2161aa99b8d9e894c7c340328b22c035057251e1 | |
| parent | 627a62a797ef9e676ba9d89f53f927d0c2463585 (diff) | |
| parent | d4f77d408c754285969969bda3a6985c1fbe9fb6 (diff) | |
| download | yosys-42f6b48d564f9897d6d5a0d2f4356ac9157693fe.tar.gz yosys-42f6b48d564f9897d6d5a0d2f4356ac9157693fe.tar.bz2 yosys-42f6b48d564f9897d6d5a0d2f4356ac9157693fe.zip | |
Merge remote-tracking branch 'origin/master' into xaig
| -rw-r--r-- | .dockerignore | 13 | ||||
| -rw-r--r-- | Dockerfile | 33 |
2 files changed, 46 insertions, 0 deletions
diff --git a/.dockerignore b/.dockerignore new file mode 100644 index 000000000..9910e9954 --- /dev/null +++ b/.dockerignore @@ -0,0 +1,13 @@ +.editorconfig
+.gitignore
+.gitmodules
+.github
+.git
+Dockerfile
+README.md
+manual
+CodingReadme
+CodeOfConduct
+.travis
+.travis.yml
+
diff --git a/Dockerfile b/Dockerfile new file mode 100644 index 000000000..3c7188d82 --- /dev/null +++ b/Dockerfile @@ -0,0 +1,33 @@ +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 \ + flex \ + libreadline-dev \ + gawk \ + tcl-dev \ + libffi-dev \ + git \ + pkg-config \ + 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 + +COPY --from=builder /yosys /build/yosys +COPY --from=builder /yosys-abc /build/yosys-abc +COPY --from=builder /yosys-config /build/yosys-config +COPY --from=builder /yosys-filterlib /build/yosys-filterlib +COPY --from=builder /yosys-smtbmc /build/yosys-smtbmc + +ENV PATH /build:$PATH +RUN useradd -m yosys +USER yosys +ENTRYPOINT ["yosys"] |