From 938f2ec68cac4b70b98b6fad357e388b6d579c54 Mon Sep 17 00:00:00 2001 From: AurelienUoU Date: Tue, 16 Jul 2019 16:30:00 -0600 Subject: [PATCH] Update Dockerfile --- Dockerfile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index bcaff4c35..ac3170257 100755 --- a/Dockerfile +++ b/Dockerfile @@ -5,4 +5,7 @@ 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 mkdir -p build +RUN cd build +RUN cmake .. -DCMAKE_BUILD_TYPE=debug +RUN make