mirror of
https://github.com/c-cube/sidekick.git
synced 2025-12-07 11:45:41 -05:00
Use travis apt addon to install opam
This commit is contained in:
parent
202249d75e
commit
b5f8c7ddf9
1 changed files with 6 additions and 3 deletions
|
|
@ -6,10 +6,13 @@ env:
|
|||
- OCAML_VERSION=4.02.3
|
||||
- OCAML_VERSION=4.03.0
|
||||
- OCAML_VERSION=4.03.0+flambda
|
||||
addons:
|
||||
apt:
|
||||
sources:
|
||||
- sourceline 'ppa:avsm/ocaml42+opam12'
|
||||
packages:
|
||||
- opam
|
||||
before_install:
|
||||
- echo "yes" | sudo add-apt-repository ppa:avsm/ocaml42+opam12
|
||||
- sudo apt-get update -qq
|
||||
- sudo apt-get install -qq ocaml ocaml-native-compilers camlp4-extra opam
|
||||
- export OPAMYES=1
|
||||
- export OPAMVERBOSE=1
|
||||
- opam init
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue