stackage2nix/.travis.yml at master · typeable/stackage2nix · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
sudo: required

language: generic

addons:
  apt:
    packages:
    - libgmp-dev

cache:
  directories:
  - $HOME/.local/bin
  - $HOME/.stack

jobs:
  include:
    - stage: build
    - stage: bootstrap
      install:
      # Install Nix
      - mkdir -p ~/.nix
      - sudo mkdir -p /nix
      - sudo chmod a+w /nix
      - sudo mount --bind ~/.nix /nix
      - curl https://nixos.org/nix/install | sh
      - source ~/.nix-profile/etc/profile.d/nix.sh
      # nixpkgs-unstable not supported
      - nix-channel --add https://nixos.org/channels/nixos-18.03 nixpkgs
      - nix-channel --update
      script:
      - nix-env -i cabal-install nix-prefetch-scripts
      - cabal update
      - nix-build nix/stackage2nix --dry-run
      - ./ci-stackage2nix --dry-run

before_install:
# Download and unpack the stack executable
- mkdir -p ~/.local/bin
- export PATH=$HOME/.local/bin:$PATH
- travis_retry curl -L https://www.stackage.org/stack/linux-x86_64 | tar xz --wildcards --strip-components=1 -C ~/.local/bin '*/stack'

script:
- stack --no-terminal --install-ghc build --test --haddock --no-haddock-deps --copy-bins --fast --pedantic