blob: e1edaffbb14cb092dd43773fee8f0b1e5a83d83f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
language: c
sudo: required
dist: trusty
before_install:
- "sudo apt-get update && sudo apt-get install --no-install-recommends texlive-fonts-recommended texlive-latex-extra texlive-fonts-extra texlive-latex-recommended dvipng"
script:
- |
make
|