blob: 14c4fbad003ffd477e051d4deee43404ae6639e2 (
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 -y --no-install-recommends texlive-fonts-recommended texlive-latex-extra texlive-fonts-extra texlive-latex-recommended dvipng"
script:
- |
make
|