mirror of
https://github.com/c-cube/sidekick.git
synced 2025-12-09 20:55:39 -05:00
For travis, dolmen is now pinned to github/dev version
This commit is contained in:
parent
9cf13bd7a2
commit
41f1ec0e82
1 changed files with 2 additions and 1 deletions
|
|
@ -18,8 +18,9 @@ before_install:
|
|||
- opam init
|
||||
- opam switch ${OCAML_VERSION}
|
||||
- eval `opam config env`
|
||||
- opam install ocamlfind ocamlbuild
|
||||
- opam pin add dolmen https://github.com/Gbury/dolmen.git
|
||||
install:
|
||||
- opam install dolmen ocamlfind ocamlbuild
|
||||
- make bin lib
|
||||
script:
|
||||
- make test
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue