diff options
Diffstat (limited to 'ciimage/Dockerfile')
| -rw-r--r-- | ciimage/Dockerfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ciimage/Dockerfile b/ciimage/Dockerfile index 839a429..a2e3433 100644 --- a/ciimage/Dockerfile +++ b/ciimage/Dockerfile @@ -11,4 +11,5 @@ RUN apt-get -y update && apt-get -y upgrade \ && apt-get -y install gcovr lcov \ && apt-get -y install fpga-icestorm arachne-pnr yosys \ && apt-get -y install gtk-sharp2 gtk-sharp2-gapi libglib2.0-cil-dev \ +&& apt-get -y install libwmf-dev \ && python3 -m pip install hotdoc codecov |