author Kai Engert <>
Mon, 11 Jun 2018 20:12:02 +0200
changeset 422315 2af879207a80d558bed4c485ebac6548c0498a6a
parent 412831 0037f2516d1015029e8a3d0901d6e6d12a6aa140
child 482864 4d719512b650570bcb67c44ee6cdbdd17d1ad12a
permissions -rw-r--r--
Bug 1460617, land NSS 30a4b03cd9d1 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.05.0
ENV haclversion 1da331f9ef30e13269e45ae73bbe4a4bca679ae6

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