hide names more thorougly, in contrast to 1d82061fbb12 and 00e9ca1e7261: e.g. relevant for overlapping accesses seen in 'inductive_set';
#!/usr/bin/env bash
set -e
unset CDPATH
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"