chore(ci): having a variable to choose simde version

Signed-off-by: Raphael Defosseux <raphael.defosseux@eurecom.fr>
2023-10-20 11:36:29 +02:00
parent 43d9895caf
commit 146edd2f4c
2 changed files with 11 additions and 0 deletions
@@ -29,6 +29,8 @@
 FROM ubuntu:focal AS ran-base
 ENV DEBIAN_FRONTEND=noninteractive
 ENV TZ=Europe/Paris
+# Specifying a working version of SIMDE for ARM:
+ENV SIMDE_VERSION=389f360a66d4a3bec62b7d71ad8be877487809ba

 #install developers pkg/repo
 RUN apt-get update && \