snarky-cli

FROM ubuntu:18.04

RUN apt-get update && \
    apt-get upgrade -y &&  \
    apt-get install -y git ocaml curl m4 cmake libprocps-dev libboost-all-dev \
    libffi-dev libssl-dev libgmp-dev m4 pkg-config perl vim software-properties-common

RUN add-apt-repository -y ppa:avsm/ppa && apt-get update && apt-get -y install opam
RUN mkdir -p /opt/snarky
WORKDIR /opt/snarky
RUN git clone https://github.com/o1-labs/snarky . && git checkout zk-workshop
RUN opam init -y --disable-sandboxing && opam switch create 4.07.1 && opam install async menhir -y
RUN opam pin add fold_lib . -y && \
    opam pin add tuple_lib . -y && \
    opam pin add bitstring_lib . -y && \
    opam pin add interval_union . -y && \
    opam pin add ppx_snarky . -y && \
    opam pin add meja . -y && \
    opam pin add snarky . -y && \
    opam install . -y && \
    echo $(opam env) >> ~/.bashrc