Skip to content

Instantly share code, notes, and snippets.

@IlyasYOY

IlyasYOY/Dockerfile

Last active February 26, 2020 19:32
Show Gist options
  • Save IlyasYOY/816f819a5eca5a2632f213f0c62d1d43 to your computer and use it in GitHub Desktop.
Save IlyasYOY/816f819a5eca5a2632f213f0c62d1d43 to your computer and use it in GitHub Desktop.
Download ZIP
Lama compiled in docker.
Raw
Dockerfile
FROM ocaml/opam2:4.07
RUN sudo apt install m4 gcc-multilib make git -y
RUN opam pin add -n ostap https://github.com/sign5/ostap.git#memoCPS
RUN opam pin add -y lama https://github.com/JetBrains-Research/Lama.git
RUN git clone https://github.com/JetBrains-Research/Lama.git
RUN eval $(opam env) && cd Lama && make
RUN sudo cp /home/opam/opam-repository/Lama/src/lamac /bin
ENTRYPOINT [ "bash" ]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment