isabelle: Admin/Isabelle_app/build@7734c442802f (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	haftmann
	Mon, 10 May 2021 19:45:54 +0000
changeset 73663	7734c442802f
parent 73192	e7437085e589
child 73705	ac07f6be27ea
permissions	-rwxr-xr-x