security/nss/automation/taskcluster/docker-hacl/Dockerfile
author Kai Engert <kaie@kuix.de>
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 <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.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
ADD bin /home/worker/bin
RUN chmod +x /home/worker/bin/*
USER worker

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