simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-11 05:28:34 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

[travis] Force installation of dev version

Browse source
This commit is contained in:
Guillaume Bury 2018-01-30 17:04:58 +01:00
parent 8821b7767f
commit 16e6be0c0d
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.travis.yml
View file

@ -38,10 +38,10 @@ before_install:
install: install:
# Install dependencies # Install dependencies
- ${HOME}/opam pin add --no-action msat . - ${HOME}/opam pin add --no-action msat .
- ${HOME}/opam install --deps-only msat - ${HOME}/opam install --deps-only msat.dev
script: script:
# Build and launch the tests # Build and launch the tests
- if [ "$TO_TEST" = "tests" ]; then make lib && make bin && make test; fi - if [ "$TO_TEST" = "tests" ]; then make lib && make bin && make test; fi
# Try and install the package with opam # Try and install the package with opam
- if [ "$TO_TEST" = "install" ]; then ${HOME}/opam install msat; fi - if [ "$TO_TEST" = "install" ]; then ${HOME}/opam install msat.dev; fi