From 5cdca586942fcc919f2beb5b3ff2b918e5189d66 Mon Sep 17 00:00:00 2001
From: Anton Hermann <antonoehler@gmx.de>
Date: Sat, 12 Nov 2022 02:55:50 +0100
Subject: [PATCH] Update Dockerfile: use 128 bits security instead of 64

---
 docker/Dockerfile | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/docker/Dockerfile b/docker/Dockerfile
index 06ec90b..6724dae 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -8,14 +8,17 @@ RUN echo "Europe/Brussels" > /etc/timezone
 RUN DEBIAN_FRONTEND=noninteractive apt-get install -yqq tzdata
 
 # Config parameters
-ARG SANCUS_SECURITY=64
-ARG SANCUS_KEY=deadbeefcafebabe
+ARG SANCUS_SECURITY=128
+# ARG SANCUS_KEY=deadbeefcafebabe
+ARG SANCUS_KEY=deadbeefcafebabec0defeeddefec8ed
 WORKDIR sancus
 
 # Build and install latest Sancus toolchain
 RUN git clone https://github.com/sancus-pma/sancus-main.git .
+RUN git checkout 6783c51
 RUN echo "UBUNTU := 1" >> Makefile.config
-RUN make install clean \
+RUN sed -i "s/-include/include/" Makefile # make should fail if other Makefiles are missing
+RUN make --warn-undefined-variables install clean \
 	SANCUS_SECURITY=$SANCUS_SECURITY SANCUS_KEY=$SANCUS_KEY
 
 # Display a welcome message for interactive sessions
-- 
GitLab