Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / .ocaml-config.sh @ master

History | View | Annotate | Download (335 Bytes)

1 d230454a lememta
#!/bin/sh
2
case "$OCAML_VERSION,$OPAM_VERSION" in
3
    4.01.0,1.1.0) ppa=avsm/ocaml41+opam11 ;;
4
    4.01.0,1.2.0) ppa=avsm/ocaml41+opam12 ;;
5
    4.02.1,1.1.0) ppa=avsm/ocaml42+opam11 ;;
6
    4.02.1,1.2.0) ppa=avsm/ocaml42+opam12 ;;
7
    *) echo Unknown $OCAML_VERSION,$OPAM_VERSION; exit 1 ;;
8
esac
9
10
echo "\n" | add-apt-repository ppa:$ppa