Project

General

Profile

Download (335 Bytes) Statistics
| Branch: | Tag: | Revision:
1
#!/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
(2-2/13)