.travis.yml

language: c
before_install:
- source ./.travis-ocaml.sh
- sudo apt-get install -qq libgmp-dev
- if [ ! -e cache ]; then mkdir cache; cd cache; wget -q $YICES_BASE_URL/$YICES_NAME; cd ..; fi
- sudo sh install-yices.sh cache/$YICES_NAME
install:
- ocamlc -version
- opam --version
- opam install -y ocamlfind camlidl ounit
script:
- ./configure $OYFLAGS
- make 
- make check
- make install
- make installcheck
cache:
  - apt
  - directories:
    - cache
    - autom4te.cache
    - $HOME/.opam
env:
  matrix:
  - OCAML_VERSION=4 YICES_NAME=yices-1.0.39-x86_64-pc-linux-gnu-trimmed.tar.gz OYFLAGS='--enable-custom'
  - OCAML_VERSION=4 YICES_NAME=yices-1.0.39-x86_64-pc-linux-gnu-static-gmp-trimmed.tar.gz
  - OCAML_VERSION=4 YICES_NAME=yices-1.0.39-x86_64-pc-linux-gnu-trimmed.tar.gz
  - OCAML_VERSION=3 YICES_NAME=yices-1.0.39-x86_64-pc-linux-gnu-trimmed.tar.gz
  global:
  - secure: Lxq+PRBVglR7Knt9lH5heFY4O0cFOYvHpCTuqog5l3APUnEOiPhskjUVQbBAi4YaKtl0vpZrDy0/UDnSYxLc5MVgvr0DDFtt8+JzARisCjCWoIiU82PIh7v2cehMGh5NWdLtQBpqvCS4qZAZMca6YwnkW7IyymTxYfGGfh3s+MQ=