-
Notifications
You must be signed in to change notification settings - Fork 0
/
Dockerfile
25 lines (18 loc) · 887 Bytes
/
Dockerfile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
FROM gitpod/workspace-rust
RUN sudo install-packages opam
USER gitpod
# initialize opam
ARG OCAML_VERSION
RUN opam init --disable-sandboxing --compiler=$OCAML_VERSION
RUN echo '. /home/gitpod/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true' >> /home/gitpod/.bashrc
# add SATySFi repositories
RUN opam repository add satysfi-external https://github.com/gfngfn/satysfi-external-repo.git \
&& opam repository add satyrographos https://github.com/na4zagin3/satyrographos-repo.git
# install SATySFi and Satyrographos
ARG SATYSFI_VERSION
ARG SATYROGRAPHOS_VERSION
RUN opam update && opam install --yes satysfi.${SATYSFI_VERSION} satysfi-dist.${SATYSFI_VERSION} satyrographos.${SATYROGRAPHOS_VERSION}
RUN opam exec -- satyrographos install
# install language server
RUN cargo install --git https://github.com/monaqa/satysfi-language-server
ENTRYPOINT ["opam", "exec", "--"]