Factored configuration in separate file.

build.sh

@@ -27,10 +27,7 @@
 
 set -e 
 
-VERSION=${1:-2020}
-SESSIONS=${2:-"HOL"}
-CONTAINER=${3:-docker}
-DOCKERUID=${4:-`id -u`}
+source config
 
 LATEST="2020"
 

config

@@ -0,0 +1,34 @@
+#!/bin/bash
+# Copyright (c) 2019-2021 Achim D. Brucker
+#
+# All rights reserved.
+#
+# Redistribution and use in source and binary forms, with or without
+# modification, are permitted provided that the following conditions are met:
+#
+# * Redistributions of source code must retain the above copyright notice, this
+#
+# * 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
+
+set -e 
+
+VERSION=${1:-2020}
+SESSIONS=${2:-"HOL"}
+CONTAINER=${3:-docker}
+DOCKERUID=${4:-`id -u`}
+LATEST="2020"

isabelle/hooks/build

@@ -27,7 +27,14 @@
 
 set -e 
 
-CONTAINER=${CONTAINER:-docker}
+if [ -f ../../config ]; then 
+   source ../../config
+else
+   CONFIG=`git rev-parse --show-toplevel`/config
+   if [ -f $CONFIG ];
+       source $CONFIG
+   fi
+fi
 
 # Generate Isabelle image
 ISA_URL="https://isabelle.in.tum.de/website-Isabelle"$VERSION"/dist/Isabelle"$VERSION"_linux.tar.gz"