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