7 lines
106 B
YAML
7 lines
106 B
YAML
language: c
|
|
compiler: clang
|
|
before_script:
|
|
- sudo apt-get install -qq libflint-dev
|
|
script:
|
|
- make
|