isabelle: Admin/Isabelle_app/build@7e2a9a8c2b85 (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
e7437085e589 more generic Isabelle_app; wenzelm parents: 73191 diff changeset	5	THIS="$(cd "$(dirname "$0")"; pwd)"
e7437085e589 more generic Isabelle_app; wenzelm parents: 73191 diff changeset	6	cd "$THIS"
e7437085e589 more generic Isabelle_app; wenzelm parents: 73191 diff changeset	7
e7437085e589 more generic Isabelle_app; wenzelm parents: 73191 diff changeset	8	source "../../lib/scripts/isabelle-platform"
e7437085e589 more generic Isabelle_app; wenzelm parents: 73191 diff changeset	9
e7437085e589 more generic Isabelle_app; wenzelm parents: 73191 diff changeset	10	PLATFORM="${ISABELLE_APPLE_PLATFORM64:-$ISABELLE_PLATFORM64}"
e7437085e589 more generic Isabelle_app; wenzelm parents: 73191 diff changeset	11	mkdir -p "$PLATFORM"
e7437085e589 more generic Isabelle_app; wenzelm parents: 73191 diff changeset	12
e7437085e589 more generic Isabelle_app; wenzelm parents: 73191 diff changeset	13	EXE="$PLATFORM/Isabelle"
e7437085e589 more generic Isabelle_app; wenzelm parents: 73191 diff changeset	14	gcc -Wall Isabelle.c -o "$EXE"
e7437085e589 more generic Isabelle_app; wenzelm parents: 73191 diff changeset	15	echo "$EXE"

author	wenzelm
	Sat, 20 Feb 2021 13:42:37 +0100
changeset 73255	7e2a9a8c2b85
parent 73192	e7437085e589
child 73705	ac07f6be27ea
permissions	-rwxr-xr-x