diff Resources/Builders/DebianStable/docker-internal.sh @ 9:8ec973ae8d6c

fix docker builds
author Sebastien Jodogne <s.jodogne@gmail.com>
date Tue, 31 Mar 2020 14:03:30 +0200
parents dac0f23f85c2
children
line wrap: on
line diff
--- a/Resources/Builders/DebianStable/docker-internal.sh	Tue Mar 31 12:15:46 2020 +0200
+++ b/Resources/Builders/DebianStable/docker-internal.sh	Tue Mar 31 14:03:30 2020 +0200
@@ -1,10 +1,16 @@
 #!/bin/bash
 set -ex
 
+mkdir /tmp/source-writeable
+
+cp -r /source/CMakeLists.txt /tmp/source-writeable/
+cp -r /source/Sources /tmp/source-writeable/
+cp -r /source/Resources /tmp/source-writeable/
+
 mkdir /tmp/build
 cd /tmp/build
 
-cmake /source \
+cmake /tmp/source-writeable/ \
       -DCMAKE_BUILD_TYPE=$1 \
       -DPYTHON_VERSION=3.7 \
       -DSTATIC_BUILD=ON \