mirror of
https://github.com/nick8325/quickspec.git
synced 2024-10-26 16:50:54 +03:00
remove gmp from travis file
This commit is contained in:
parent
30f66a0405
commit
3ada0c2294
@ -9,11 +9,6 @@ cache:
|
||||
directories:
|
||||
- $HOME/.stack
|
||||
|
||||
addons:
|
||||
apt:
|
||||
packages:
|
||||
- libgmp-dev
|
||||
|
||||
before_install:
|
||||
- mkdir -p ~/.local/bin
|
||||
- export PATH=$HOME/.local/bin:$PATH
|
||||
|
Loading…
Reference in New Issue
Block a user