From 794ca35d234b454ef438c9f8d14856f897180703 Mon Sep 17 00:00:00 2001 From: Thomas Leonard Date: Tue, 12 Sep 2017 16:57:01 +0100 Subject: [PATCH 1/2] Update Dockerfile to use newer Debian base image Was failing with ``` E: Failed to fetch http://security.debian.org/pool/updates/main/x/xen/libxenstore3.0_4.4.1-9+deb8u8_amd64.deb 404 Not Found [IP: 212.211.132.32 80] ``` --- Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index 479eac0..e04f6d1 100644 --- a/Dockerfile +++ b/Dockerfile @@ -2,7 +2,7 @@ # It will probably still work on newer images, though, unless Debian 8 # changes some compiler optimisations (unlikely). #FROM ocaml/opam:debian-8_ocaml-4.03.0 -FROM ocaml/opam@sha256:48c025a4ec2e6ff6dcb4c14f8cae0f332a090fa1ed677170912c4a48627778ab +FROM ocaml/opam@sha256:66f9d402ab6dc00c47d2ee3195ab247f9c1c8e7e774197f4fa6ea2a290a3ebbc # Pin last known-good version for reproducible builds. # Remove this line (and the base image pin above) if you want to test with the From d61c2312c12a8f8e82e13ddca866cb788893aecd Mon Sep 17 00:00:00 2001 From: Thomas Leonard Date: Tue, 12 Sep 2017 18:05:55 +0100 Subject: [PATCH 2/2] Fix Travis --- .travis.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.travis.yml b/.travis.yml index ba4e918..4a58a64 100644 --- a/.travis.yml +++ b/.travis.yml @@ -1,5 +1,5 @@ language: c -install: wget https://raw.githubusercontent.com/ocaml/ocaml-travisci-skeleton/master/.travis-mirage.sh +install: wget https://raw.githubusercontent.com/ocaml/ocaml-ci-scripts/master/.travis-mirage.sh script: bash -ex .travis-mirage.sh sudo: required dist: trusty @@ -20,4 +20,4 @@ addons: - time - libxen-dev env: - - FORK_USER=talex5 FORK_BRANCH=unikernel OCAML_VERSION=4.04 MIRAGE_BACKEND=xen PINS="mirage-nat:https://github.com/talex5/mirage-nat.git#lru" + - OCAML_VERSION=4.04 MIRAGE_BACKEND=xen PINS="mirage-nat:https://github.com/talex5/mirage-nat.git#lru"