simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-08 20:25:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

chore: update travis script to use docker

Browse source
This commit is contained in:
Simon Cruanes 2018-06-17 12:32:01 -05:00
parent 6933a7b5d0
commit eec7fdca2b
1 changed files with 13 additions and 24 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

37
.travis.yml
View file

@ -1,26 +1,15 @@
language: c language: c
install: wget https://raw.githubusercontent.com/ocaml/ocaml-ci-scripts/master/.travis-docker.sh
script: bash -ex .travis-docker.sh
services:
- docker
env: env:
- RUN_TEST=true OCAML_VERSION=4.03.0 global:
- RUN_TEST=true OCAML_VERSION=4.03.0+flambda - PINS="sidekick:."
- RUN_TEST=true OCAML_VERSION=4.04.0 - DISTRO="ubuntu-16.04"
- RUN_TEST=true OCAML_VERSION=4.04.0+flambda matrix:
- RUN_TEST=true OCAML_VERSION=4.06.0 - PACKAGE="sidekick" OCAML_VERSION="4.02.3"
addons: - PACKAGE="sidekick" OCAML_VERSION="4.03.0"
apt: - PACKAGE="sidekick" OCAML_VERSION="4.04.2"
sources: - PACKAGE="sidekick" OCAML_VERSION="4.05.0"
- avsm - PACKAGE="sidekick" OCAML_VERSION="4.06.0"
packages:
- opam
- time
before_install:
- export OPAMYES=1
- export OPAMVERBOSE=1
- opam init
- opam switch ${OCAML_VERSION}
- eval `opam config env`
- opam install ocamlfind jbuilder
- if ${RUN_TEST}; then opam pin add dolmen https://github.com/Gbury/dolmen.git; fi
install:
- make build
script:
- if ${RUN_TEST}; then make test; fi