cryptol/.travis.yml

language: haskell
ghc: 8.0
install:
  - cabal sandbox init
  - cabal install Cabal
  - make
script:
  - make test
notifications:
  email: false
add travis.yml 2014-04-28 08:27:57 +04:00			`language: haskell`
Bump Travis GHC version 2017-07-05 19:39:35 +03:00			`ghc: 8.0`
add travis.yml 2014-04-28 08:27:57 +04:00			`install:`
install the Cabal library before starting the Travis build 2014-04-28 08:33:38 +04:00			`- cabal sandbox init`
			`- cabal install Cabal`
add travis.yml 2014-04-28 08:27:57 +04:00			`- make`
			`script:`
disable email notifications for travis 2014-04-28 08:54:18 +04:00			`- make test`
			`notifications:`
Bump Travis GHC version 2017-07-05 19:39:35 +03:00			`email: false`