Skip to content
Snippets Groups Projects
Commit 5cdca586 authored by antoo98's avatar antoo98
Browse files

Update Dockerfile: use 128 bits security instead of 64

parent 529d0fbd
No related branches found
No related tags found
No related merge requests found
...@@ -8,14 +8,17 @@ RUN echo "Europe/Brussels" > /etc/timezone ...@@ -8,14 +8,17 @@ RUN echo "Europe/Brussels" > /etc/timezone
RUN DEBIAN_FRONTEND=noninteractive apt-get install -yqq tzdata RUN DEBIAN_FRONTEND=noninteractive apt-get install -yqq tzdata
# Config parameters # Config parameters
ARG SANCUS_SECURITY=64 ARG SANCUS_SECURITY=128
ARG SANCUS_KEY=deadbeefcafebabe # ARG SANCUS_KEY=deadbeefcafebabe
ARG SANCUS_KEY=deadbeefcafebabec0defeeddefec8ed
WORKDIR sancus WORKDIR sancus
# Build and install latest Sancus toolchain # Build and install latest Sancus toolchain
RUN git clone https://github.com/sancus-pma/sancus-main.git . RUN git clone https://github.com/sancus-pma/sancus-main.git .
RUN git checkout 6783c51
RUN echo "UBUNTU := 1" >> Makefile.config 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 SANCUS_SECURITY=$SANCUS_SECURITY SANCUS_KEY=$SANCUS_KEY
# Display a welcome message for interactive sessions # Display a welcome message for interactive sessions
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment