install happy by apt-get.

This commit is contained in:
Kazu Yamamoto 2014-07-04 13:00:21 +09:00
parent 61b86349a9
commit 75b838bab6

View File

@ -6,21 +6,11 @@ env:
before_install:
- sudo add-apt-repository -y ppa:hvr/ghc
- sudo apt-get update
- sudo apt-get install cabal-install-1.18 ghc-$GHCVER
- export PATH=/opt/ghc/$GHCVER/bin:/opt/cabal/1.18/bin:$PATH
- which ghc
- ghc --version
- which ghci
- ghci --version
- which cabal
- cabal --version
- sudo apt-get install cabal-install-1.18 ghc-$GHCVER happy-1.19.3
- export PATH=/opt/ghc/$GHCVER/bin:/opt/cabal/1.18/bin:/opt/happy/1.19.3/bin:$PATH
install:
- cabal update
- mkdir sandbox
- (cd sandbox; cabal sandbox init; cabal install happy)
- export PATH=$PWD/.cabal-sandbox/bin:$PATH
- happy --version
- cabal install --only-dependencies --enable-tests
script: