From 76ad2d74012c408788473c3b495076c96666b27c Mon Sep 17 00:00:00 2001
From: Andrei Karas <akaras@inbox.ru>
Date: Wed, 4 Jan 2017 04:05:51 +0300
Subject: Add pages generation with doxygen docs and git stats.

Pages can be accesed at http://stats.manaplus.org/
---
 tools/ci/jobs/doxygen.sh  | 13 +++++++++++++
 tools/ci/jobs/gitstats.sh | 11 +++++++++++
 tools/ci/jobs/pages.sh    | 20 ++++++++++++++++++++
 tools/ci/scripts/retry.sh | 15 +++++++++++++++
 4 files changed, 59 insertions(+)
 create mode 100755 tools/ci/jobs/doxygen.sh
 create mode 100755 tools/ci/jobs/gitstats.sh
 create mode 100755 tools/ci/jobs/pages.sh
 create mode 100755 tools/ci/scripts/retry.sh

(limited to 'tools/ci')

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
+
diff --git a/tools/ci/scripts/retry.sh b/tools/ci/scripts/retry.sh
new file mode 100755
index 000000000..b54c3b074
--- /dev/null
+++ b/tools/ci/scripts/retry.sh
@@ -0,0 +1,15 @@
+#!/bin/bash
+
+n=0
+
+while true; do
+    $*
+    if [ "$?" == 0 ]; then
+        exit 0
+    fi
+    if [[ $n -ge 5 ]]; then
+        exit -1
+    fi
+    sleep 5s
+    n=$((n+1))
+done
-- 
cgit v1.2.3-70-g09d2