Skip to content

Commit

Permalink
Install libgmp-dev on travis
Browse files Browse the repository at this point in the history
  • Loading branch information
jaspervdj committed Jan 20, 2017
1 parent ba18a6d commit c5f4b98
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions .travis.yml
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,11 @@ cache:
directories:
- $HOME/.stack

addons:
apt:
packages:
- libgmp-dev

before_install:
- mkdir -p ~/.local/bin
- export PATH=$HOME/.local/bin:$PATH
Expand Down

0 comments on commit c5f4b98

Please sign in to comment.