circle.yml

machine:
  environment:
    BASH_ENV: "$HOME/.bashrc"
dependencies:
  pre:
    - mkdir -p ~/.opam
    - mkdir -p ~/.isabelle
  cache_directories:
    - "~/.opam"
    - "~/.isabelle"
  override:
    - git submodule update --init
    - sed -n '/pyenv/!p' $HOME/.circlerc > tmp
    - mv tmp $HOME/.circlerc
    - sed -n '/phpenv/!p' $HOME/.circlerc > tmp
    - mv tmp $HOME/.circlerc
    - cat $HOME/.circlerc
    - sudo apt-get -qq update
    - sudo apt-get -qq install libgmp3-dev texlive-latex-recommended
    - wget https://raw.github.com/ocaml/opam/master/shell/opam_installer.sh -O - | sudo sh -s /usr/local/bin
    - export OPAMJOBS=1
    - opam init -y --comp=4.04.2
    - eval `opam config env`
    - opam switch 4.04.2
    - eval `opam config env`
    - echo $BASH_ENV
    - touch $BASH_ENV
    - echo 'eval `opam config env`' >> $BASH_ENV
    - opam update
    - opam install -y ocamlbuild ocamlfind batteries yojson bignum easy-format bisect_ppx zarith depext sha coq:
        timeout: 3600
    - git clone https://github.com/mrsmkl/ECC-OCaml.git ECC-OCaml
    - echo $PATH
    - which ocamldep
    - make -C ECC-OCaml/src depend
    - make -C ECC-OCaml/src
    - make -C ECC-OCaml/src uninstall
    - make -C ECC-OCaml/src install
    - git clone https://bitbucket.org/Peter_Sewell/lem.git lemdir
    - make -C lemdir
    - make -C lemdir coq-libs
    - sudo mkdir -p /usr/local/share/lem
    - sudo ln -s /home/ubuntu/eth-isabelle/lemdir/coq-lib /usr/local/share/lem/coq-lib
    - echo 'PATH=/home/ubuntu/eth-isabelle/lemdir:$PATH' >> $BASH_ENV
    - wget https://isabelle.in.tum.de/dist/Isabelle2017_app.tar.gz
    - tar xf Isabelle2017_app.tar.gz
    - echo 'export PATH=./Isabelle2017/bin:$PATH' >> $BASH_ENV
test:
  override:
    - (echo $PATH && make lem-coq)
    - (cd lem && make)
    - make simplewallet
    - make lem-ocaml
    - make lem-thy
    - make lem-hol