Admin/Isabelle_app/build

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/Isabelle_app/build	Tue Jan 26 21:33:52 2021 +0100
@@ -0,0 +1,15 @@
+#!/usr/bin/env bash
+
+set -e
+
+THIS="$(cd "$(dirname "$0")"; pwd)"
+cd "$THIS"
+
+source "../../lib/scripts/isabelle-platform"
+
+PLATFORM="${ISABELLE_APPLE_PLATFORM64:-$ISABELLE_PLATFORM64}"
+mkdir -p "$PLATFORM"
+
+EXE="$PLATFORM/Isabelle"
+gcc -Wall Isabelle.c -o "$EXE"
+echo "$EXE"