From a6cbc4978488b43d7a3d422fb4847aed7678f044 Mon Sep 17 00:00:00 2001 From: John Estabrook Date: Tue, 1 Mar 2022 13:04:48 -0600 Subject: [PATCH] pull in patch for building open-vmdk under gcc-10.+ Temporary fix for issue https://github.com/vmware/open-vmdk/issues/12 not yet merged. --- docker/Dockerfile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/docker/Dockerfile b/docker/Dockerfile index 675a5b03e7..36efd311e3 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