From c1b6c15d9594784edf797362289aa2e5430fad67 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jesper=20=C3=96qvist?= <jesper.oqvist@cs.lth.se>
Date: Wed, 7 Nov 2018 13:04:33 +0100
Subject: [PATCH] Documentation generation script for ExtendJ
---
.gitmodules | 3 +++
build.sh | 34 ++++++++++++++++++++++++++++++++++
rd-builder | 1 +
3 files changed, 38 insertions(+)
create mode 100644 .gitmodules
create mode 100755 build.sh
create mode 160000 rd-builder
diff --git a/.gitmodules b/.gitmodules
new file mode 100644
index 0000000..7fc91c7
--- /dev/null
+++ b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "rd-builder"]
+ path = rd-builder
+ url = https://bitbucket.org/extendj/ragdoc-builder.git
diff --git a/build.sh b/build.sh
new file mode 100755
index 0000000..ea36b82
--- /dev/null
+++ b/build.sh
@@ -0,0 +1,34 @@
+#!/bin/bash
+
+set -eu
+
+if [ ! -d 'rd-builder' ] || [ ! -e "rd-builder/build.gradle" ]; then
+ echo 'Pulling RD-Builder'
+ git submodule init
+fi
+
+EXTENDJ="rd-builder/extendj"
+
+echo "ExtendJ path: $EXTENDJ"
+if [ ! -e "$EXTENDJ/build.gradle" ]; then
+ echo 'Pulling ExtendJ'
+ (cd rd-builder; git submodule init)
+fi
+
+git submodule update
+(cd rd-builder; git submodule update)
+
+# Optional debug flags.
+DEBUG="${DEBUG:-}"
+#DEBUG="-agentlib:jdwp=transport=dt_socket,server=y,suspend=y,address=5005"
+
+(cd rd-builder; ./gradlew fatJar)
+
+(cd $EXTENDJ; ./gradlew :java8:jar)
+
+java \
+ $DEBUG \
+ -jar rd-builder/rd-builder.jar \
+ -d src/data \
+ -ragroot $EXTENDJ \
+ $(find $EXTENDJ/src -name '*.java')
diff --git a/rd-builder b/rd-builder
new file mode 160000
index 0000000..b8cfca7
--- /dev/null
+++ b/rd-builder
@@ -0,0 +1 @@
+Subproject commit b8cfca720aaf1cf22e7423b362d5ec4666d311aa
--
GitLab