| FROM ubuntu:bionic-20181112 | |
| ENV DEBIAN_FRONTEND=noninteractive | |
| RUN set -e -x ;\ | |
| apt-get -y update ;\ | |
| apt-get -y upgrade ;\ | |
| apt-get -y install build-essential clang gperf bison flex libreadline-dev gawk \ | |
| tcl-dev libffi-dev git graphviz xdot pkg-config python autoconf | |
| RUN set -e -x ;\ | |
| cd /tmp ;\ | |
| git clone git://github.com/steveicarus/iverilog.git ;\ | |
| cd iverilog ;\ | |
| autoconf ;\ | |
| ./configure ;\ | |
| make -j $(nproc) ;\ | |
| make install ;\ | |
| cd .. ;\ | |
| rm -rf iverilog |