From d4488c7edbbf1d968817da6fa00bfc682ac2d58e Mon Sep 17 00:00:00 2001
From: Ludovic 'Archivist' Lagouardette <ludovic@nekoit.xyz>
Date: Tue, 18 Oct 2022 15:08:25 +0200
Subject: [PATCH] Docs autobuilder

---
 tools/build_docs.sh   | 27 +++++++++++++++++++++++++++
 tools/config/defaults | 11 +++++++++++
 tools/config/override |  5 +++++
 3 files changed, 43 insertions(+)
 create mode 100644 tools/config/defaults
 create mode 100644 tools/config/override

diff --git a/tools/build_docs.sh b/tools/build_docs.sh
index e69de29..b374b3f 100644
--- a/tools/build_docs.sh
+++ b/tools/build_docs.sh
@@ -0,0 +1,27 @@
+#!/usr/bin/env bash
+
+SNUGLOG_DIR=.
+
+if [ $# -ge 1 ]; then
+  SNUGLOG_DIR=$1
+fi
+
+SNUGLOG_DIR=$(realpath "$SNUGLOG_DIR")
+
+source "$SNUGLOG_DIR/tools/config/defaults"
+
+if [ $# -ge 2 ]; then
+  source "$2"
+elif [ -f "$SNUGLOG_DIR/tools/config/override" ]; then
+  source "$SNUGLOG_DIR/tools/config/override"
+fi
+
+if test "$MUST_REWRITE_PATHS" -eq 1 && test ! "$REWRITE_ENABLED" && [[ ! "$1" =~ /\s/g ]] && [[ ! "$2" =~ /\s/g ]]; then
+  export REWRITE_ENABLED=1
+  (echo "$0 $@" | /usr/bin/env bash) 2>&1 | sed $REWRITE_PATHS
+  export REWRITE_ENABLED=0
+else
+  # Execute doxygen in the correct directory
+  cd "$SNUGLOG_DIR" || exit 42
+  "$DOXYGEN" "$DOXYFILE"
+fi
\ No newline at end of file
diff --git a/tools/config/defaults b/tools/config/defaults
new file mode 100644
index 0000000..a2707ca
--- /dev/null
+++ b/tools/config/defaults
@@ -0,0 +1,11 @@
+C_COMPILER=clang
+CXX_COMPILER=clang++
+LLVM_COV=llvm-cov
+LLVM_PROFDATA=llvm-profdata
+NOISY_CMAKE=0
+MOLD_LINKER=mold
+DOXYGEN=doxygen
+DOXYFILE="$SNUGLOG_DIR/tools/config/doxygen.config"
+DOC_TODO="/dev/null"
+MUST_REWRITE_PATHS=0
+REWRITE_PATHS=""
diff --git a/tools/config/override b/tools/config/override
new file mode 100644
index 0000000..8f07dca
--- /dev/null
+++ b/tools/config/override
@@ -0,0 +1,5 @@
+C_COMPILER=gcc-12
+CXX_COMPILER=g++-12
+LLVM_COV=llvm-cov-13
+LLVM_PROFDATA=llvm-profdata-13
+MUST_REWRITE_PATHS=0