diff options
Diffstat (limited to 'paper/lua-filters/.travis.yml')
-rw-r--r-- | paper/lua-filters/.travis.yml | 55 |
1 files changed, 0 insertions, 55 deletions
diff --git a/paper/lua-filters/.travis.yml b/paper/lua-filters/.travis.yml deleted file mode 100644 index 196eb28..0000000 --- a/paper/lua-filters/.travis.yml +++ /dev/null @@ -1,55 +0,0 @@ -# Use new container infrastructure to enable caching -sudo: false - -# Do not choose a language; we provide our own build tools. -language: minimal - -addons: - apt: - packages: - - aspell - - aspell-fr - - aspell-en - - imagemagick - - default-jre - - graphviz - - inkscape - - python3 - - python3-pip - - python3-tk - - python3-numpy - - python3-matplotlib - - latex-xcolor - - lmodern - - texlive-bibtex-extra - - texlive-fonts-recommended - - texlive-generic-recommended - - texlive-latex-recommended - - texlive-latex-extra - - pgf - -before_install: -- unset CC -# Download and unpack the pandoc binary -- | - pushd $HOME - RELEASES_URL='https://github.com/jgm/pandoc/releases' - export PANDOCVERSION=$(curl -I "$RELEASES_URL/latest" | sed -ne 's#Location:.*tag/\(.*\)$#\1#p' | tr -d "\n\r") - echo $PANDOCVERSION - wget $RELEASES_URL/download/$PANDOCVERSION/pandoc-$PANDOCVERSION-linux.tar.gz - tar xvzf pandoc-$PANDOCVERSION-linux.tar.gz - popd -# Download plantuml.jar for plantuml filter -- | - pushd $HOME - wget http://sourceforge.net/projects/plantuml/files/plantuml.jar - popd -- export PATH=$HOME/pandoc-$PANDOCVERSION/bin:$PATH -- export PLANTUML=$HOME/plantuml.jar - -install: [] - -script: -- | - make test - |