Travis CI

.travis.yml

@@ -0,0 +1,22 @@
+language: c
+sudo: required
+install: wget https://raw.githubusercontent.com/ocaml/ocaml-ci-scripts/master/.travis-opam.sh
+script: bash -ex .travis-opam.sh
+env:
+  global:
+  - EXTRA_REMOTES="https://coq.inria.fr/opam/released https://coq.inria.fr/opam/extra-dev"
+  matrix:
+  - OCAML_VERSION=4.02
+  - OCAML_VERSION=4.07
+os:
+  - linux
+  - osx
+matrix:
+  fast_finish: true
+  allow_failures:
+  - os: osx
+cache:
+  apt: true
+  directories:
+  - $HOME/.opam
+  - $HOME/Library/Caches/Homebrew

opam → coq-itree.opam

@@ -2,9 +2,10 @@ opam-version: "1.2"
 name: "coq-itree"
 version: "dev"
 maintainer: "Li-yao Xia <lysxia@gmail.com>"
+synopsis: "Formalization of the Interaction Tree Datatype in Coq"
 
 homepage: "https://github.com/DeepSpec/InteractionTrees"
-dev-repo: "https://github.com/DeepSpec/InteractionTrees"
+dev-repo: "git+https://github.com/DeepSpec/InteractionTrees"
 bug-reports: "https://github.com/DeepSpec/InteractionTrees/issues"
 license: "MIT"