diff options
Diffstat (limited to 'automation/taskcluster')
-rw-r--r-- | automation/taskcluster/docker-hacl/Dockerfile | 2 | ||||
-rw-r--r-- | automation/taskcluster/docker-hacl/setup-user.sh | 1 | ||||
-rwxr-xr-x | automation/taskcluster/scripts/run_hacl.sh | 3 |
3 files changed, 4 insertions, 2 deletions
diff --git a/automation/taskcluster/docker-hacl/Dockerfile b/automation/taskcluster/docker-hacl/Dockerfile index 399513143..46990df3e 100644 --- a/automation/taskcluster/docker-hacl/Dockerfile +++ b/automation/taskcluster/docker-hacl/Dockerfile @@ -9,7 +9,7 @@ ENV haclrepo https://github.com/mitls/hacl-star.git # Define versions of dependencies ENV opamv 4.04.2 -ENV haclversion 122e47dee739029f7dd8e7b9dd8e9d77e8646652 +ENV haclversion 7620672ff898272bf423d10e080cd10d49954e06 # Install required packages and set versions ADD setup.sh /tmp/setup.sh diff --git a/automation/taskcluster/docker-hacl/setup-user.sh b/automation/taskcluster/docker-hacl/setup-user.sh index ef341ec7d..f53bda468 100644 --- a/automation/taskcluster/docker-hacl/setup-user.sh +++ b/automation/taskcluster/docker-hacl/setup-user.sh @@ -23,4 +23,3 @@ make -C hacl-star/code/salsa-family test -j$(nproc) # Cleanup. rm -rf ~/.ccache ~/.cache -rm -rf /home/worker/hacl-star/dependencies diff --git a/automation/taskcluster/scripts/run_hacl.sh b/automation/taskcluster/scripts/run_hacl.sh index ecedbaad0..6a186c04e 100755 --- a/automation/taskcluster/scripts/run_hacl.sh +++ b/automation/taskcluster/scripts/run_hacl.sh @@ -12,6 +12,9 @@ set -e -x -v # The extracted C code from HACL* is already generated and the HACL* tests were # successfully executed. +# Verify Poly1305 (doesn't work in docker image build) +make verify -C ~/hacl-star/code/poly1305 -j$(nproc) + # Format the extracted C code. cd ~/hacl-star/snapshots/nss cp ~/nss/.clang-format . |