From 452c4d5d145a8ac68a70947da29193d6411dde94 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Fri, 29 Jul 2022 09:34:55 +0200
Subject: [PATCH] [docker] Add Marabou and SAVer in docker image.

---
 docker/Dockerfile.template | 33 +++++++++++++++++++++++++++++++++
 1 file changed, 33 insertions(+)

diff --git a/docker/Dockerfile.template b/docker/Dockerfile.template
index f07fe2db..07d8f04b 100644
--- a/docker/Dockerfile.template
+++ b/docker/Dockerfile.template
@@ -42,3 +42,36 @@ opam install --deps-only --with-test -y .
 @ENV@
 
 RUN cd caisar && make && make install
+
+
+## External provers
+
+# Download Marabou and install system dependencies
+RUN sudo apt-get install -yy cmake gfortran wget && \
+git clone --depth 1 https://github.com/NeuralNetworkVerification/Marabou.git
+
+# Build Marabou
+RUN cd Marabou && \
+mkdir build && \
+cd build && \
+cmake .. \
+-DBUILD_PYTHON=OFF \
+-DRUN_UNIT_TEST=OFF \
+-DRUN_MEMORY_TEST=OFF \
+-DCMAKE_CXX_FLAGS="-Wno-error -Wno-sign-compare" && \
+cmake --build .
+
+# Extend PATH with path to the Marabou binary
+ENV PATH "/home/opam/Marabou/build:$PATH"
+
+# Download, build and install SAVer
+RUN git clone --depth 1 https://github.com/svm-abstract-verifier/saver.git && \
+cd saver/src && \
+make && \
+make install
+
+# Extend PATH with path to the SAVer binary
+ENV PATH "/home/opam/saver/bin:$PATH"
+
+# Configuration check
+RUN caisar config -d
-- 
GitLab