From 8037380659e511ed1aa237698c0c30965623ba5d Mon Sep 17 00:00:00 2001 From: lnis Date: Thu, 9 Jul 2020 09:25:11 -0600 Subject: [PATCH] . --- Dockerfile | 18 +++++++++++++----- 1 file changed, 13 insertions(+), 5 deletions(-) diff --git a/Dockerfile b/Dockerfile index 98861cbbb..771ab425c 100755 --- a/Dockerfile +++ b/Dockerfile @@ -1,9 +1,17 @@ -FROM ubuntu:16.04 +FROM ubuntu:18.04 +ENV DEBIAN_FRONTEND=noninteractive +RUN apt-get update && apt-get install -y clang \ + bison \ + flex \ + libreadline-dev \ + gawk \ + tcl-dev \ + libffi-dev \ + git \ + pkg-config \ + python3 -RUN apt-get update -qq -y -RUN apt-get -y install python3 python3-dev tcl tcl8.6-dev gawk libreadline-dev - -RUN apt-get -y install autoconf automake bison build-essential cmake ctags curl doxygen flex fontconfig g++-4.9 gcc-4.9 gdb git gtkwave gperf iverilog libffi-dev libcairo2-dev libevent-dev libfontconfig1-dev liblist-moreutils-perl libncurses5-dev libx11-dev libxft-dev libxml++2.6-dev perl texinfo time valgrind zip qt5-default +RUN apt-get -y install autoconf automake bison build-essential cmake ctags curl doxygen flex fontconfig gdb git gtkwave gperf iverilog libffi-dev libcairo2-dev libevent-dev libfontconfig1-dev liblist-moreutils-perl libncurses5-dev libx11-dev libxft-dev libxml++2.6-dev perl texinfo time valgrind zip qt5-default RUN mkdir -p /release /dev