.travis.yml

dist: trusty
cache:
  directories:
sudo: required
before_install:
- sudo apt-get -qq update
- sudo apt-get -qq install libgmp3-dev texlive-latex-recommended aspcud texlive-latex-extra
- git clone https://github.com/bitcoin-core/secp256k1.git
- cd secp256k1
- ./autogen.sh
- ./configure --enable-module-recovery
- make
- ./tests
- sudo make install
- cd -
# - git clone https://github.com/polyml/polyml.git
# - cd polyml
# - git checkout v5.6
# - ./configure
# - make
# - make compiler
# - sudo make install
# - cd -
# - sudo updatedb
# - locate libpolymain.a
- wget https://raw.github.com/ocaml/opam/master/shell/opam_installer.sh -O - | sudo sh -s /usr/local/bin
- export OPAMJOBS=2
- opam init -y --comp=4.04.2
- eval `opam config env`
- opam switch 4.04.2
- eval `opam config env`
- opam update
- opam --version
- opam install -y -v ocamlfind
- ocamlfind remove rlp
- opam install -y -v 'configurator=v0.9.1' 'secp256k1=0.3.2' ocamlbuild batteries yojson bignum easy-format bisect_ppx zarith depext sha menhir rlp
- git clone https://github.com/mrsmkl/ECC-OCaml.git ECC-OCaml
- cd ECC-OCaml/src
- make uninstall
- make depend
- make
- make install || echo "fails the second time and on"
- cd ../..
- git clone https://bitbucket.org/Peter_Sewell/lem.git lemdir
- cd lemdir
- make || echo "failure expected"
- cd ..
- export PATH=./lemdir:$PATH
# - wget https://isabelle.in.tum.de/dist/Isabelle2017_app.tar.gz
# - tar xf Isabelle2017_app.tar.gz
# - export PATH=./Isabelle2017/bin:$PATH
# - git clone git://github.com/HOL-Theorem-Prover/HOL.git
# - cd HOL
# - echo 'val polymllibdir = "/usr/local/lib"' > tools-poly/poly-includes.ML
# - poly < tools/smart-configure.sml
# - bin/build -j 2
# - cd -
script:
- make lem-ocaml
- cd tester
- sh compile.sh
- ./runVmTest.native 89
- cd -
- make lem-thy
- make lem-hol
- make lem-coq
- make lem-julia
- make lem-pdf
- cd julia
- make test
- cd -
# - cd lem
# - ../HOL/bin/Holmake evmTheory.uo
# - cd -
# - isabelle version