Admin/Isabelle_app/build
author wenzelm
Wed, 12 Mar 2025 11:39:00 +0100
changeset 82265 4b875a4c83b0
parent 73705 ac07f6be27ea
permissions -rwxr-xr-x
update for release;

#!/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"