install libgmp-dev

This commit is contained in:
Michel Oosterhof
2016-08-16 11:49:20 +00:00
parent 7849fb9768
commit 2a6dfcc0d8

View File

@@ -9,7 +9,7 @@ python:
- "nightly" # currently points to 3.6-dev
before_install:
- sudo apt-get -qq update
- sudo apt-get install -y libmpfr-dev
- sudo apt-get install -y libgmp-dev
# command to install dependencies
install: "pip install -r requirements.txt"
# command to run tests