2015-12-30 04:52:24 -05:00
|
|
|
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
|
2016-02-23 06:48:13 -05:00
|
|
|
- libxen-dev
|
2015-12-30 04:52:24 -05:00
|
|
|
env:
|
2017-03-06 09:31:26 -05:00
|
|
|
- OCAML_VERSION=4.04 MIRAGE_BACKEND=xen PINS="mirage-nat:https://github.com/talex5/mirage-nat.git#cleanup tcpip:https://github.com/talex5/mirage-tcpip.git#fix-length-checks"
|
