qubes-mirage-firewall/.travis.yml
Thomas Leonard 08bc6e2b00 Add work-around for Qubes passing Linux kernel arguments
With the new Functoria release of Mirage, these unrecognised arguments
prevented the unikernel from booting.

See: https://github.com/mirage/mirage/issues/493
2016-03-01 09:41:43 +00:00

24 lines
777 B
YAML

language: c
install: wget https://raw.githubusercontent.com/ocaml/ocaml-travisci-skeleton/master/.travis-mirage.sh
script: bash -ex .travis-mirage.sh
sudo: required
dist: trusty
addons:
apt:
sources:
- avsm
packages:
- ocaml
- ocaml-base
- ocaml-native-compilers
- ocaml-compiler-libs
- ocaml-interp
- ocaml-base-nox
- ocaml-nox
- camlp4
- camlp4-extra
- time
- libxen-dev
env:
- FORK_USER=talex5 FORK_BRANCH=unikernel OCAML_VERSION=4.02 MIRAGE_BACKEND=xen PINS="mirage-xen:https://github.com/talex5/mirage-platform.git#mm mirage-nat:https://github.com/talex5/mirage-nat.git#simplify-checksum tcpip:https://github.com/mirage/mirage-tcpip.git mirage-bootvar-xen:https://github.com/talex5/mirage-bootvar-xen.git#qubes"