diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index d34f968165057b799d48c89f2f2517ecbcd47e36..0809d067ea7387605c3dcd5c987af6b630c2eacb 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -5,7 +5,7 @@ build: DEBIAN_FRONTEND: noninteractive before_script: - sudo apt-get update - - sudo apt-get install -y dvipng python-imaging rubber texlive-fonts-recommended texlive-latex-extra texlive-math-extra + - sudo apt-get install -y ant dvipng maven python-imaging rubber texlive-fonts-recommended texlive-latex-extra texlive-math-extra wget - wget -O plastex.tar.gz https://github.com/tiarno/plastex/archive/1.0.0.tar.gz - tar -xzvf plastex.tar.gz - cd plastex-1.0.0 && sudo python setup.py install