Project

General

Profile

Revision d230454a

View differences:

.ocaml-config.sh
1
#!/bin/sh
2
case "$OCAML_VERSION,$OPAM_VERSION" in
3
    3.12.1,1.0.0) ppa=avsm/ocaml312+opam10 ;;
4
    3.12.1,1.1.0) ppa=avsm/ocaml312+opam11 ;;
5
    3.12.1,1.2.0) ppa=avsm/ocaml312+opam12 ;;
6
    4.00.1,1.0.0) ppa=avsm/ocaml40+opam10 ;;
7
    4.00.1,1.1.0) ppa=avsm/ocaml40+opam11 ;;
8
    4.00.1,1.2.0) ppa=avsm/ocaml40+opam12 ;;
9
    4.01.0,1.0.0) ppa=avsm/ocaml41+opam10 ;;
10
    4.01.0,1.1.0) ppa=avsm/ocaml41+opam11 ;;
11
    4.01.0,1.2.0) ppa=avsm/ocaml41+opam12 ;;
12
    4.02.1,1.1.0) ppa=avsm/ocaml42+opam11 ;;
13
    4.02.1,1.2.0) ppa=avsm/ocaml42+opam12 ;;
14
    *) echo Unknown $OCAML_VERSION,$OPAM_VERSION; exit 1 ;;
15
esac
16

  
17
echo "\n" | add-apt-repository ppa:$ppa
.travis.yml
15 15

  
16 16
before_install:
17 17
  - OPAM_DEPENDS="ocamlgraph ocamlfind"
18
  - chmod +x .ocaml-config.sh
19
  - sudo -E .ocaml-config.sh
18 20

  
19 21
install:
20 22
  - sudo apt-get update -qq

Also available in: Unified diff