isabelle: lib/scripts/isabelle-platform@53b3c532a082 (annotated)

37012 106c56e916f8 enable shell script editor mode; wenzelm parents: 36213 diff changeset	1	# -- shell-script -- :mode=shellscript:
36196 cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	2	#
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	3	# determine general hardware and operating system type for Isabelle
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	4	#
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	5	# NOTE: The ML system or JVM may have their own idea about the platform!
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	6
48455 a509f19d4cc6 provide explicit ISABELLE_PLATFORM32 as well; wenzelm parents: 42716 diff changeset	7	ISABELLE_PLATFORM32=""
36196 cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	8	ISABELLE_PLATFORM64=""
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	9
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	10	case $(uname -s) in
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	11	Linux)
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	12	case $(uname -m) in
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	13	i?86)
48455 a509f19d4cc6 provide explicit ISABELLE_PLATFORM32 as well; wenzelm parents: 42716 diff changeset	14	ISABELLE_PLATFORM32=x86-linux
36196 cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	15	;;
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	16	x86_64)
48455 a509f19d4cc6 provide explicit ISABELLE_PLATFORM32 as well; wenzelm parents: 42716 diff changeset	17	ISABELLE_PLATFORM32=x86-linux
36196 cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	18	ISABELLE_PLATFORM64=x86_64-linux
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	19	;;
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	20	esac
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	21	;;
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	22	Darwin)
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	23	case $(uname -m) in
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	24	i?86)
48455 a509f19d4cc6 provide explicit ISABELLE_PLATFORM32 as well; wenzelm parents: 42716 diff changeset	25	ISABELLE_PLATFORM32=x86-darwin
36196 cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	26	if [ "$(sysctl -n hw.optional.x86_64 2>/dev/null)" = 1 ]; then
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	27	ISABELLE_PLATFORM64=x86_64-darwin
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	28	fi
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	29	;;
36213 4df49260bd82 accept x86_64 results gracefully -- NB: Mac OS does report that if booted in 64 bit mode; wenzelm parents: 36196 diff changeset	30	x86_64)
48455 a509f19d4cc6 provide explicit ISABELLE_PLATFORM32 as well; wenzelm parents: 42716 diff changeset	31	ISABELLE_PLATFORM32=x86-darwin
36213 4df49260bd82 accept x86_64 results gracefully -- NB: Mac OS does report that if booted in 64 bit mode; wenzelm parents: 36196 diff changeset	32	ISABELLE_PLATFORM64=x86_64-darwin
4df49260bd82 accept x86_64 results gracefully -- NB: Mac OS does report that if booted in 64 bit mode; wenzelm parents: 36196 diff changeset	33	;;
36196 cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	34	esac
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	35	;;
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	36	CYGWIN_NT*)
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	37	case $(uname -m) in
36213 4df49260bd82 accept x86_64 results gracefully -- NB: Mac OS does report that if booted in 64 bit mode; wenzelm parents: 36196 diff changeset	38	i?86 \| x86_64)
48455 a509f19d4cc6 provide explicit ISABELLE_PLATFORM32 as well; wenzelm parents: 42716 diff changeset	39	ISABELLE_PLATFORM32=x86-cygwin
36196 cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	40	;;
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	41	esac
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	42	;;
42716 45eb6829dde2 pretend that all versions of BSD are Linux, which might actually work due to binary compatibilty mode of these obsolete platforms; wenzelm parents: 37012 diff changeset	43	*BSD)
36196 cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	44	case $(uname -m) in
36213 4df49260bd82 accept x86_64 results gracefully -- NB: Mac OS does report that if booted in 64 bit mode; wenzelm parents: 36196 diff changeset	45	i?86 \| x86_64)
48455 a509f19d4cc6 provide explicit ISABELLE_PLATFORM32 as well; wenzelm parents: 42716 diff changeset	46	ISABELLE_PLATFORM32=x86-linux #cf. BSD Linux Binary Compatibility
36196 cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	47	;;
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	48	esac
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	49	;;
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	50	esac
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	51
48455 a509f19d4cc6 provide explicit ISABELLE_PLATFORM32 as well; wenzelm parents: 42716 diff changeset	52	ISABELLE_PLATFORM="$ISABELLE_PLATFORM32"
a509f19d4cc6 provide explicit ISABELLE_PLATFORM32 as well; wenzelm parents: 42716 diff changeset	53

author	blanchet
	Sun, 23 Sep 2012 14:52:53 +0200
changeset 49543	53b3c532a082
parent 48455	a509f19d4cc6
child 50182	30177ec0be36
permissions	-rw-r--r--