2019-09-06 06:02:18 +04:00
|
|
|
#!/bin/sh
|
|
|
|
|
set -e
|
|
|
|
|
|
|
|
|
|
"$(dirname "$0")"/setup_switch.sh
|
2019-09-08 00:52:00 +04:00
|
|
|
"$(dirname "$0")"/setup_repos.sh
|
2019-09-06 06:02:18 +04:00
|
|
|
|
2019-06-10 09:03:08 +04:00
|
|
|
opam install -y ocp-indent tuareg merlin alcotest-lwt crowbar
|
2019-06-08 09:16:55 +04:00
|
|
|
opam -y user-setup install
|
