git.iko.soy/typeable/stackage2nix
on v0.7.2 help sign in
typeable/stackage2nix/.travis.yml
44 lines 1.1 kB history raw
1sudo: required
3language: generic
5addons:
6 apt:
7 packages:
8 - libgmp-dev
10cache:
11 directories:
12 - $HOME/.local/bin
13 - $HOME/.stack
15jobs:
16 include:
17 - stage: build
18 - stage: bootstrap
19 install:
20 # Install Nix
21 - mkdir -p ~/.nix
22 - sudo mkdir -p /nix
23 - sudo chmod a+w /nix
24 - sudo mount --bind ~/.nix /nix
25 - curl https://nixos.org/nix/install | sh
26 - source ~/.nix-profile/etc/profile.d/nix.sh
27 # nixpkgs-unstable not supported
28 - nix-channel --add https://nixos.org/channels/nixos-18.03 nixpkgs
29 - nix-channel --update
30 script:
31 - nix-env -i cabal-install nix-prefetch-scripts
32 - cabal update
33 - nix-build nix/stackage2nix --dry-run
34 - ./ci-stackage2nix --dry-run
36before_install:
37# Download and unpack the stack executable
38- mkdir -p ~/.local/bin
39- export PATH=$HOME/.local/bin:$PATH
40- travis_retry curl -L https://www.stackage.org/stack/linux-x86_64 | tar xz --wildcards --strip-components=1 -C ~/.local/bin '*/stack'
42script:
43- stack --no-terminal --install-ghc build --test --haddock --no-haddock-deps --copy-bins --fast --pedantic