replace ubuntu by arch linux as base image and related packages

Author: rafaelnp

Dockerfile

@@ -1,56 +1,25 @@
 
-FROM ghdl/vunit:gcc
+FROM archlinux:base-devel
 
 LABEL maintainer="Rafael do Nascimento Pereira <rnp@25ghz.net>"
 LABEL description="FGPA development and verification environment"
-LABEL version="0.2"
+LABEL version="0.3"
 
-
-# Disable Prompt During Packages Installation
-ENV DEBIAN_FRONTEND=noninteractive
-ENV YOSYS_SRC /usr/src/yosys
 ENV SBY_SRC /usr/src/symbiyosys
 ENV GHDL_YOSYS_SRC /usr/src/ghdl-yosys-plugin
-ENV YICES2_SRC /usr/src/yices2
-
 
 # install dependencies
-RUN apt-get update && \
-apt-get install -y --no-install-recommends \
-build-essential \
-clang \
-bison \
-flex \
-libreadline-dev \
-gawk \
-tcl-dev \
-libffi-dev \
-git \
-graphviz \
-xdot \
-pkg-config \
-python \
-python3 \
-python3-dev \
-libftdi-dev \
-gperf \
-libboost-program-options-dev \
-autoconf \
-libgmp-dev \
-cmake \
-wget \
-curl \
-libpython2.7 \
+RUN pacman -Syu --noconfirm  && \
+pacman -S --noconfirm git \
 iverilog \
-python3-pip
+python \
+python-pip \
+ghdl-llvm \
+yosys \
+yices
 
-# yosys
-RUN git clone https://github.com/YosysHQ/yosys.git --depth=1 ${YOSYS_SRC}
-WORKDIR ${YOSYS_SRC}
-RUN make -j$(nproc) && \
-make install && \
-cd .. && \
-rm -fr yosys
+## install python based tootls: vunit, cocotb and pytest
+RUN pip install vunit_hdl cocotb cocotb-test
 
 # symbiyosys
 RUN git clone https://github.com/YosysHQ/SymbiYosys.git --depth=1 ${SBY_SRC}
@@ -59,30 +28,20 @@ RUN make install && \
 cd .. && \
 rm -fr SymbiYosys
 
-RUN git clone https://github.com/SRI-CSL/yices2.git --depth=1 ${YICES2_SRC}
-WORKDIR ${YICES2_SRC}
-RUN autoconf && \
-./configure && \
-make -j$(nproc) && \
-make install && \
-cd .. && \
-rm -fr yices2
-
 # ghdl-yosys-plugin
+# workaround for compilation
+RUN mkdir /usr/include/ghdl && \
+ln -s /usr/include/ghdlsynth.h /usr/include/ghdl/synth.h
+
 RUN git clone https://github.com/ghdl/ghdl-yosys-plugin --depth=1 ${GHDL_YOSYS_SRC}
 WORKDIR ${GHDL_YOSYS_SRC}
 RUN make && \
 make install && \
 cd .. && \
 rm -fr ghdl-yosys-plugin
 
-# install cocotb
-RUN pip install cocotb pytest
-
 # cleanup
 WORKDIR /root
 RUN rm -fr .cache && \
-apt-get autoclean && \
-apt-get autoremove && \
-apt-get clean && \
-rm -fr /var/lib/apt/lists/*
+pacman -Scc --noconfirm
+

README.md

@@ -1,12 +1,15 @@
 # FPGA dev docker
 
-Docker image for FPGA development. Programmes provided in the image:
+Version: 0.3
+Data:    2021.10.05
 
-* GHDL
-* GHDL-Yosys-Plugin
-* Yosys
-* SYmbiYosys
-* VUnit
-* Yices
-* Cocotb
-* Icarus Verilog
+Docker image for FPGA development and verification. Programmes included in the image:
+
+* Cocotb 1.5.2
+* GHDL 1.0.0 (llvm)
+* GHDL-Yosys-Plugin 45da327
+* Icarus Verilog 11.0
+* SymbiYosys 15278f1
+* VUnit 4.5.0
+* Yices 2.6.2
+* Yosys 0.10

arch/Dockerfile

@@ -1,3 +1,3 @@
 #!/bin/bash
 
-docker build --cache-from rnprnp/fpga_dev:0.2 -t rnprnp/fpga_dev:0.2 .
+docker build --cache-from rnprnp/fpga_dev:0.3 -t rnprnp/fpga_dev:0.3 .

arch/build.sh

@@ -1,3 +1,3 @@
 #!/bin/bash
 
-docker run --name test_fpga_cdev --rm -i -t rnprnp/fpga_dev:0.2 bash
+docker run --name test_fpga_dev --rm -i -t rnprnp/fpga_dev:0.3 bash