Added GMP as a deps for CI.

This commit is contained in:
Nicolás A. Ortega 2016-12-02 16:35:07 +01:00
parent 7d6ed15523
commit 05c50652b8
No known key found for this signature in database
GPG Key ID: 614272579C2070D1

View File

@ -3,7 +3,7 @@ image: gcc
build:
stage: build
before_script:
- apt update && apt -y install cmake libgomp1
- apt update && apt -y install cmake libgomp1 libgmp-dev
script:
- cd build/
- cmake -DCMAKE_BUILD_TYPE=Release ..