feature/igc ef194a1e0e9: * test/infra/Dockerfile.emba (emacs-igc): Build libmps from git sources.

[Michael Albinus]

branch: feature/igc
commit ef194a1e0e96f91dc7a57efcdf8a81ed716d18e0
Author: Michael Albinus <michael.albinus@gmx.de>
Commit: Michael Albinus <michael.albinus@gmx.de>

    * test/infra/Dockerfile.emba (emacs-igc): Build libmps from git sources.
---
 test/infra/Dockerfile.emba | 22 ++++++++++++++++------
 1 file changed, 16 insertions(+), 6 deletions(-)

diff --git a/test/infra/Dockerfile.emba b/test/infra/Dockerfile.emba
index e1a69b92fd9..3b6b2ceb59a 100644
--- a/test/infra/Dockerfile.emba
+++ b/test/infra/Dockerfile.emba
@@ -196,13 +196,23 @@ RUN make -j `nproc` bootstrap
 
 FROM emacs-base as emacs-igc
 
-RUN apt-get update && \
-    apt-get install -y --no-install-recommends -o=Dpkg::Use-Pty=0 \
-      libmps-dev libmps3 \
-    && rm -rf /var/lib/apt/lists/*
-
 COPY . /checkout
+
+# libmps on Debian is something else. So we build ourselves.
+ENV MPS_SRC=/tmp/mps-src
+ENV MPS_ARTIFACTS=/tmp/mps-artifacts
+RUN mkdir $MPS_SRC
+RUN mkdir $MPS_ARTIFACTS
+WORKDIR $MPS_SRC
+RUN git config --global http.sslverify "false"
+RUN git clone https://github.com/Ravenbrook/mps.git
+WORKDIR mps
+RUN autoconf
+RUN ./configure --prefix=$MPS_ARTIFACTS
+RUN make CC="gcc -Wno-dangling-pointer -Wno-maybe-uninitialized" EXTRA_TARGETS=
+RUN make install
+
 WORKDIR /checkout
 RUN ./autogen.sh autoconf
-RUN ./configure --with-mps
+RUN ./configure CPPFLAGS=-I$MPS_ARTIFACTS/include LDFLAGS=-L$MPS_ARTIFACTS/lib 
--with-mps
 RUN make -j `nproc` bootstrap