diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 0809d067ea7387605c3dcd5c987af6b630c2eacb..a2f6a9a0a40366a9d46ef583dbe09769bfce7371 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -4,11 +4,11 @@ build: variables: DEBIAN_FRONTEND: noninteractive before_script: - - sudo apt-get update - - sudo apt-get install -y ant dvipng maven python-imaging rubber texlive-fonts-recommended texlive-latex-extra texlive-math-extra wget + - apt-get update + - 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 + - cd plastex-1.0.0 && python setup.py install script: - cd org.rodinp.handbook.feature - ant -file customBuild.xml