-
Notifications
You must be signed in to change notification settings - Fork 2
/
build2.sh
executable file
·16 lines (15 loc) · 706 Bytes
/
build2.sh
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
set -e
opam switch create 4.13.1 ||echo ignore error
opam switch 4.13.1
eval $(opam env --switch=4.13.1)
opam repo add coq-released https://coq.inria.fr/opam/released
opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-dev
opam install --yes ppx_yojson_conv_lib
opam install --yes ppx_yojson lwt_ppx containers lambdasoup uri ezcurl ppx_yojson_conv ppx_yojson_conv_lib ezcurl-lwt yojson stdio
opam install -w --yes --deps-only .
opam pin add --yes openai https://github.com/meta-introspector/openai-ocaml.git#main --update-invariant
dune build .
echo the following are optional and may take a long time
opam install --yes coq
opam install --yes coq-serapi
opam install --yes coq-hammer