Disabled use of PPA

pull/125/head
ggrieco-tob 6 years ago committed by GitHub
parent 215dd211fd
commit 1f65f998e3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 7
      .travis.yml

@ -13,10 +13,6 @@ matrix:
fast_finish: true
include:
# Add build targets here
- env: GHCVER=8.2.1 CACHE_NAME=8.2.1 BUILD_BINARY=1
compiler: ": #stack 8.2.1"
addons: {apt: {packages: [ghc-8.2.1], sources: [hvr-ghc]}}
- env: GHCVER=8.2.1 CACHE_NAME=8.2.1-osx BUILD_BINARY=1
LDFLAGS=-L/usr/local/opt/readline/lib CFLAGS=-I/usr/local/opt/readline/include
os: osx
@ -25,8 +21,7 @@ matrix:
install:
- unset CC
- export PATH=$HOME/.local/bin:/opt/ghc/$GHCVER/bin:$PATH
- ./.travis/install-ghr.sh
- export PATH=$HOME/.local/bin:$PATH
- ./.travis/install-stack.sh
script:

Loading…
Cancel
Save