pull in patch for building open-vmdk under gcc-10.+

Temporary fix for issue vmware/open-vmdk#12 not yet merged.
MartB · Jan 27, 2023 · a6cbc49 · a6cbc49
1 parent a0ecd0f
commit a6cbc49
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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