Bug 1466073 - update hacl* revision and fix image build, r=jcj
authorFranziskus Kiefer <franziskuskiefer@gmail.com>
Mon, 04 Jun 2018 11:08:25 +0200
changeset 14386 20cb9179495d925c8a9c70ae051ac9635b2c89ce
parent 14384 c368cc029700ec15be4a583bf8294e9ff1b07f81
child 14395 e36e5500f6534ea7e5b48b29215ab4d844ce7e70
push id3115
push userfranziskuskiefer@gmail.com
push dateMon, 04 Jun 2018 14:20:05 +0000
reviewersjcj
bugs1466073
Bug 1466073 - update hacl* revision and fix image build, r=jcj Differential Revision: https://phabricator.services.mozilla.com/D1528
automation/taskcluster/docker-hacl/Dockerfile
--- a/automation/taskcluster/docker-hacl/Dockerfile
+++ b/automation/taskcluster/docker-hacl/Dockerfile
@@ -3,18 +3,18 @@ FROM ubuntu:xenial
 MAINTAINER Franziskus Kiefer <franziskuskiefer@gmail.com>
 # Based on the HACL* image from Benjamin Beurdouche and
 # the original F* formula with Daniel Fabian
 
 # Pinned versions of HACL* (F* and KreMLin are pinned as submodules)
 ENV haclrepo https://github.com/mitls/hacl-star.git
 
 # Define versions of dependencies
-ENV opamv 4.04.2
-ENV haclversion e13326efee1a9910004dccbb56f3d7be6639e0b8
+ENV opamv 4.05.0
+ENV haclversion 1da331f9ef30e13269e45ae73bbe4a4bca679ae6
 
 # Install required packages and set versions
 ADD setup.sh /tmp/setup.sh
 RUN bash /tmp/setup.sh
 
 # Create user, add scripts.
 RUN useradd -ms /bin/bash worker
 WORKDIR /home/worker