lustrec/.ocaml-config.sh @ 589ccf9f
| 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 |