You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

66 lines
2.0 KiB

  1. ## GHDL ##
  2. FROM symbiyosys as symbiyosys-ghdl
  3. ARG LLVM_VER="11"
  4. RUN apt-get update -qq && \
  5. DEBIAN_FRONTEND=noninteractive apt-get -y install --no-install-recommends \
  6. gnat \
  7. llvm-dev && \
  8. apt-get autoclean && apt-get clean && apt-get -y autoremove && \
  9. rm -rf /var/lib/apt/lists/* && \
  10. cd /root && \
  11. mkdir ghdl && \
  12. cd ghdl && \
  13. curl https://codeload.github.com/ghdl/ghdl/tar.gz/master | tar xzf - --strip-components=1 && \
  14. ./configure --enable-synth --prefix=/opt/ghdl --with-llvm-config=llvm-config-$LLVM_VER && \
  15. make && \
  16. make install && \
  17. mkdir /opt/ghdl/doc && \
  18. curl https://ghdl.readthedocs.io/_/downloads/en/latest/pdf/ -o /opt/ghdl/doc/ghdl_manual.pdf
  19. ## GHDLSYNTH-BETA ##
  20. FROM symbiyosys-ghdl AS symbiyosys-ghdlsynth
  21. # Build ghdlsynth-beta
  22. RUN cd /root && \
  23. mkdir ghdl-yosys-plugin && \
  24. cd ghdl-yosys-plugin && \
  25. curl https://codeload.github.com/ghdl/ghdl-yosys-plugin/tar.gz/master | tar xzf - --strip-components=1 && \
  26. make GHDL=/opt/ghdl/bin/ghdl YOSYS_CONFIG=/opt/yosys/bin/yosys-config && \
  27. make install GHDL=/opt/ghdl/bin/ghdl YOSYS_CONFIG=/opt/yosys/bin/yosys-config
  28. # GHDL-formal
  29. FROM debian:bullseye-slim AS ghdl-formal
  30. ARG LLVM_VER="11"
  31. # Get runtime dependencies
  32. RUN apt-get update -qq && \
  33. DEBIAN_FRONTEND=noninteractive apt-get -y install --no-install-recommends \
  34. ca-certificates \
  35. libreadline8 \
  36. libtcl8.6 \
  37. libgnat-10 \
  38. libllvm$LLVM_VER \
  39. gcc \
  40. libc6-dev \
  41. zlib1g-dev \
  42. make \
  43. python3 \
  44. libssl-dev \
  45. libpython2.7 && \
  46. apt-get -y upgrade && apt-get autoclean && apt-get clean && apt-get -y autoremove && \
  47. update-ca-certificates && \
  48. rm -rf /var/lib/apt/lists/*
  49. # copy build artifacts
  50. COPY --from=symbiyosys-ghdlsynth /opt /opt
  51. # Enhance path variable
  52. ENV PATH "/opt/ghdl/bin:/opt/symbiyosys/bin:/opt/yosys/bin:/opt/z3/bin:/opt/yices2/bin:/opt/cvc4/bin:/opt/boolector/bin:/opt/bitwuzla/bin:/opt/super_prove/bin:$PATH"