diff options
Diffstat (limited to '.cirrus')
-rw-r--r-- | .cirrus/Dockerfile.ubuntu16.04 | 28 |
1 files changed, 25 insertions, 3 deletions
diff --git a/.cirrus/Dockerfile.ubuntu16.04 b/.cirrus/Dockerfile.ubuntu16.04 index 7335292f..71a634bb 100644 --- a/.cirrus/Dockerfile.ubuntu16.04 +++ b/.cirrus/Dockerfile.ubuntu16.04 @@ -6,11 +6,21 @@ RUN set -e -x ;\ apt-get -y update ;\ apt-get -y upgrade ;\ apt-get -y install \ - build-essential cmake clang python3-dev libboost-all-dev qt5-default git + build-essential autoconf cmake clang bison wget flex gperf \ + libreadline-dev gawk tcl-dev libffi-dev graphviz xdot python3-dev \ + libboost-all-dev qt5-default git libftdi-dev pkg-config RUN set -e -x ;\ - apt-get -y install \ - libftdi-dev pkg-config + mkdir -p /usr/local/src ;\ + cd /usr/local/src ;\ + git clone --recursive https://github.com/steveicarus/iverilog.git ;\ + cd iverilog ;\ + git reset --hard 172d7eb0a3665f89b91d601b5912c33acedc81e5 ;\ + sh autoconf.sh ;\ + ./configure ;\ + make -j $(nproc) ;\ + make install ;\ + rm -rf /usr/local/src/iverilog RUN set -e -x ;\ mkdir -p /usr/local/src ;\ @@ -24,6 +34,16 @@ RUN set -e -x ;\ RUN set -e -x ;\ mkdir -p /usr/local/src ;\ cd /usr/local/src ;\ + git clone --recursive https://github.com/YosysHQ/yosys.git ;\ + cd yosys ;\ + git reset --hard 47a5dfdaa4bd7d400c6e3d58476de80904df460d ;\ + make -j $(nproc) ;\ + make install ;\ + rm -rf /usr/local/src/yosys + +RUN set -e -x ;\ + mkdir -p /usr/local/src ;\ + cd /usr/local/src ;\ git clone --recursive https://github.com/SymbiFlow/prjtrellis.git ;\ cd prjtrellis ;\ git reset --hard de035a6e5e5818804a66b9408f0ad381b10957db ;\ @@ -31,3 +51,5 @@ RUN set -e -x ;\ cmake -DCMAKE_INSTALL_PREFIX=/usr . ;\ make -j $(nproc) ;\ make install + + |