author Kai Engert <>
Wed, 11 Apr 2018 12:54:08 +0200
changeset 412831 0037f2516d1015029e8a3d0901d6e6d12a6aa140
parent 408337 30b30a7267c7384e2d091c14a2a01e2f29b4fe9c
child 422315 2af879207a80d558bed4c485ebac6548c0498a6a
permissions -rw-r--r--
Bug 1445731, land NSS 2eefd697d661 UPGRADE_NSS_RELEASE, r=me

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 e13326efee1a9910004dccbb56f3d7be6639e0b8

# 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/