Add GMP dependency

This commit is contained in:
CristhianMotoche 2016-02-25 09:00:31 -05:00
parent 99995effd3
commit a5bf768c1b

View File

@ -5,6 +5,12 @@ language: c
sudo: false
# GHC depends on GMP. You can add other dependencies here as well.
addons:
apt:
packages:
- libgmp-dev
cache:
directories:
- $HOME/.stack