diff options
Diffstat (limited to 'tools/ci/jobs')
-rwxr-xr-x | tools/ci/jobs/doxygen.sh | 13 | ||||
-rwxr-xr-x | tools/ci/jobs/gitstats.sh | 11 | ||||
-rwxr-xr-x | tools/ci/jobs/pages.sh | 20 |
3 files changed, 44 insertions, 0 deletions
diff --git a/tools/ci/jobs/doxygen.sh b/tools/ci/jobs/doxygen.sh new file mode 100755 index 000000000..a3e7b3a5a --- /dev/null +++ b/tools/ci/jobs/doxygen.sh @@ -0,0 +1,13 @@ +#!/bin/bash + +export LOGFILE=doxygen.log + +source ./tools/ci/scripts/init.sh + +aptget_install doxygen graphviz \ + libphysfs-dev \ + libxml2-dev libcurl4-gnutls-dev libpng-dev \ + libsdl-gfx1.2-dev libsdl-image1.2-dev libsdl-mixer1.2-dev libsdl-net1.2-dev libsdl-ttf2.0-dev + +doxygen tools/doxygen/doxygen.conf +check_error $? diff --git a/tools/ci/jobs/gitstats.sh b/tools/ci/jobs/gitstats.sh new file mode 100755 index 000000000..a7040bd03 --- /dev/null +++ b/tools/ci/jobs/gitstats.sh @@ -0,0 +1,11 @@ +#!/bin/bash + +export LOGFILE=gitstats.log + +source ./tools/ci/scripts/init.sh + +aptget_install python zlib1g git-core gnuplot + +tools/ci/scripts/retry.sh git clone https://github.com/hoxu/gitstats.git gitstats +gitstats/gitstats . stats +check_error $? diff --git a/tools/ci/jobs/pages.sh b/tools/ci/jobs/pages.sh new file mode 100755 index 000000000..2c12253db --- /dev/null +++ b/tools/ci/jobs/pages.sh @@ -0,0 +1,20 @@ +#!/bin/bash + +export LOGFILE=pages.log + +source ./tools/ci/scripts/init.sh + +aptget_install git-core + +tools/ci/scripts/retry.sh git clone https://gitlab.com/4144/pagesindexgen.git pagesindexgen + +mkdir -p public/docs +mkdir -p public/stats + +cd pagesindexgen +./pagesindexgen.py ../public + +cd .. +cp -r doxygen/html/* public/docs +cp -r stats/* public/stats + |