Enable use global config.

isabelle_dof/hooks/build

@@ -1,5 +1,5 @@
 #!/bin/bash
-# Copyright (c) 2019 Achim D. Brucker
+# Copyright (c) 2019-2021 Achim D. Brucker
 #
 # All rights reserved.
 #
@@ -27,11 +27,21 @@
 
 set -e 
 
+if [ -f ../../config ]; then 
+   source ../../config
+else
+   CONFIG=`git rev-parse --show-toplevel`/config
+   if [ -f $CONFIG ]; then
+       source $CONFIG
+   fi
+fi
+
 if [ -z "$ISADOF_VERSION" ] ; then
     IMAGE="isabelle_dof"
 else
     IMAGE="isabelle_dof-"$ISADOF_VERSION"_isabelle2019" 
 fi
 
-$CONTAINER build -t logicalhacking/$IMAGE . \
-             --build-arg isadof_version="$ISADOF_VERSION" 
+$CONTAINER build --build-arg isadof_version="$ISADOF_VERSION" \
+                 -t $IMAGE_NAME
+