Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / .ocaml-config.sh @ d230454a

History | View | Annotate | Download (653 Bytes)

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