From 910f81768f46fc34c03e45cc0874350fd63ed57b Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Tue, 18 Sep 2018 17:18:15 +0100
Subject: [PATCH] Build script that only copies style files into generation
 directory.

---
 examples/scholarly/document/build | 60 +++++++++++++++++++++++++++++++
 1 file changed, 60 insertions(+)
 create mode 100755 examples/scholarly/document/build

diff --git a/examples/scholarly/document/build b/examples/scholarly/document/build
new file mode 100755
index 00000000..893af0ef
--- /dev/null
+++ b/examples/scholarly/document/build
@@ -0,0 +1,60 @@
+#!/usr/bin/env bash
+# Copyright (c) 2018 The University of Sheffield. All rights reserved.
+#               2018 The University of Paris-Sud. All rights reserved.
+#
+# Redistribution and use in source and binary forms, with or without
+# modification, are permitted provided that the following conditions
+# are met:
+# 1. Redistributions of source code must retain the above copyright
+#    notice, this list of conditions and the following disclaimer.
+# 2. Redistributions in binary form must reproduce the above copyright
+#    notice, this list of conditions and the following disclaimer in
+#    the documentation and/or other materials provided with the
+#    distribution.
+# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+# FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+# COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+# INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+# BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
+# LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+# CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+# LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+# ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+# POSSIBILITY OF SUCH DAMAGE.
+#
+# SPDX-License-Identifier: BSD-2-Clause
+
+OUTFORMAT=${1:-pdf}
+NAME=${2:-root}
+
+set -e
+
+ROOT_NAME="root_$NAME"
+[ ! -f "$DIR/$ROOT_NAME.tex" ] && ROOT_NAME="root"
+
+if [ ! -f $ISABELLE_HOME_USER/DOF/latex/DOF-core.sty ]; then
+    echo ""
+    echo "Warning: Isabelle DOF not installed"
+    echo "========"
+    echo "This is a Isabelle_DOF project. The document preparation requires"
+    echo "the Isabelle_DOF framework. Please obtain the framework by cloning"
+    echo "the Isabelle_DOF git repository, i.e.: "
+    echo "    git clone https://git.logicalhacking.com/HOL-OCL/Isabelle_DOF"
+    echo "You can install the framework as follows:"
+    echo "    cd Isabelle_DOF/document-generator"
+    echo "    ./install"
+    echo ""
+    exit 1
+fi
+
+cp $ISABELLE_HOME_USER/DOF/latex/*.sty .
+
+$ISABELLE_TOOL latex -o sty "$ROOT_NAME.tex" && \
+$ISABELLE_TOOL latex -o "$OUTFORMAT" "$ROOT_NAME.tex" && \
+{ [ ! -f "$ROOT_NAME.bib" ] || $ISABELLE_TOOL latex -o bbl "$ROOT_NAME.tex"; } && \
+{ [ ! -f "$ROOT_NAME.idx" ] || $ISABELLE_TOOL latex -o idx "$ROOT_NAME.tex"; } && \
+$ISABELLE_TOOL latex -o "$OUTFORMAT" "$ROOT_NAME.tex" && \
+$ISABELLE_TOOL latex -o "$OUTFORMAT" "$ROOT_NAME.tex"
+