diff options
Diffstat (limited to 'docker/Dockerfile')
| -rw-r--r-- | docker/Dockerfile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docker/Dockerfile b/docker/Dockerfile index 675a5b03..36efd311 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -155,6 +155,8 @@ RUN eval $(opam env --root=/opt/opam --set-root) && \ RUN wget -O /tmp/open-vmdk-master.zip https://github.com/vmware/open-vmdk/archive/master.zip && \ unzip -d /tmp/ /tmp/open-vmdk-master.zip && \ cd /tmp/open-vmdk-master/ && \ + wget -O gcc-10.patch https://github.com/dongsupark/open-vmdk/commit/74dffbca5d6fa37ed4ecd9b3a75206e33497e3df.patch && \ + patch -p1 < gcc-10.patch && \ make && \ make install |