isabelle: Admin/Isabelle_app/build@21cdcd120a78 (annotated)

54313 da2e6282a4f5 native executable even for Linux, to avoid surprises with file managers opening executable script as text file; wenzelm parents: diff changeset	1	#!/usr/bin/env bash
da2e6282a4f5 native executable even for Linux, to avoid surprises with file managers opening executable script as text file; wenzelm parents: diff changeset	2
73192 e7437085e589 more generic Isabelle_app; wenzelm parents: 73191 diff changeset	3	set -e
e7437085e589 more generic Isabelle_app; wenzelm parents: 73191 diff changeset	4
73705 ac07f6be27ea avoid unexpected output+behaviour when CDPATH is set kleing parents: 73192 diff changeset	5	unset CDPATH
73192 e7437085e589 more generic Isabelle_app; wenzelm parents: 73191 diff changeset	6	THIS="$(cd "$(dirname "$0")"; pwd)"
e7437085e589 more generic Isabelle_app; wenzelm parents: 73191 diff changeset	7	cd "$THIS"
e7437085e589 more generic Isabelle_app; wenzelm parents: 73191 diff changeset	8
e7437085e589 more generic Isabelle_app; wenzelm parents: 73191 diff changeset	9	source "../../lib/scripts/isabelle-platform"
e7437085e589 more generic Isabelle_app; wenzelm parents: 73191 diff changeset	10
e7437085e589 more generic Isabelle_app; wenzelm parents: 73191 diff changeset	11	PLATFORM="${ISABELLE_APPLE_PLATFORM64:-$ISABELLE_PLATFORM64}"
e7437085e589 more generic Isabelle_app; wenzelm parents: 73191 diff changeset	12	mkdir -p "$PLATFORM"
e7437085e589 more generic Isabelle_app; wenzelm parents: 73191 diff changeset	13
e7437085e589 more generic Isabelle_app; wenzelm parents: 73191 diff changeset	14	EXE="$PLATFORM/Isabelle"
e7437085e589 more generic Isabelle_app; wenzelm parents: 73191 diff changeset	15	gcc -Wall Isabelle.c -o "$EXE"
e7437085e589 more generic Isabelle_app; wenzelm parents: 73191 diff changeset	16	echo "$EXE"

author	wenzelm
	Sun, 07 May 2023 14:18:48 +0200
changeset 77982	21cdcd120a78
parent 73705	ac07f6be27ea
permissions	-rwxr-xr-x