author Franziskus Kiefer <>
Wed, 04 Apr 2018 10:35:35 +0200
changeset 14307 0b0eb03449450c5af1e2bb4c32a3259923ca2542
parent 14282 620af5fe20ad116ceb2c3da2be931dc694176c3a
child 14316 a7ae252f516175b5907ae694a1b2aeaee7531a05
permissions -rw-r--r--
Bug 1451395 - update hacl* version to fix image build, r=ttaubert This version of HACL* has an incomplete proof and has to be update soon. This is to fix the image build til taskcluster is fixed. Differential Revision:

FROM ubuntu:xenial

MAINTAINER Franziskus Kiefer <>
# 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

# Define versions of dependencies
ENV opamv 4.04.2
ENV haclversion d10bcb3394f3203318f43259ac8f492c8d28aa66

# Install required packages and set versions
ADD /tmp/
RUN bash /tmp/

# Create user, add scripts.
RUN useradd -ms /bin/bash worker
WORKDIR /home/worker
ADD bin /home/worker/bin
RUN chmod +x /home/worker/bin/*
USER worker

# Build F*, HACL*, verify. Install a few more dependencies.
ENV PATH "/home/worker/hacl-star/dependencies/z3/bin:$PATH"
ADD /tmp/
ADD license.txt /tmp/license.txt
RUN bash /tmp/