Project

General

Profile

Revision e548bb75 .ocaml-config.sh

View differences:

.ocaml-config.sh
1 1
#!/bin/sh
2 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 3
    4.01.0,1.1.0) ppa=avsm/ocaml41+opam11 ;;
11 4
    4.01.0,1.2.0) ppa=avsm/ocaml41+opam12 ;;
12 5
    4.02.1,1.1.0) ppa=avsm/ocaml42+opam11 ;;

Also available in: Unified diff