diff options
| -rw-r--r-- | .travis.yml | 18 |
1 files changed, 2 insertions, 16 deletions
diff --git a/.travis.yml b/.travis.yml index 8dcc34a8d..158f61cfd 100644 --- a/.travis.yml +++ b/.travis.yml @@ -65,7 +65,7 @@ matrix: apt: sources: - avsm - packages: + packages: &extra-packages - opam - aspcud - libgtk2.0-dev @@ -90,21 +90,7 @@ matrix: apt: sources: - avsm - packages: - - opam - - aspcud - - libgtk2.0-dev - - libgtksourceview2.0-dev - - texlive-latex-base - - texlive-latex-recommended - - texlive-latex-extra - - texlive-math-extra - - texlive-fonts-recommended - - texlive-fonts-extra - - latex-xcolor - - ghostscript - - transfig - - imagemagick + packages: *extra-packages install: - opam init -j ${NJOBS} --compiler=${COMPILER} -n -y |