isabelle: lib/scripts/isabelle-platform@fa1a5efee2ec (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
50182 30177ec0be36 added ISABELLE_PLATFORM_FAMILY; wenzelm parents: 48455 diff changeset	7	ISABELLE_PLATFORM_FAMILY=""
48455 a509f19d4cc6 provide explicit ISABELLE_PLATFORM32 as well; wenzelm parents: 42716 diff changeset	8	ISABELLE_PLATFORM32=""
36196 cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	9	ISABELLE_PLATFORM64=""
65072 36c650d1a90d more detailed platform information; wenzelm parents: 62911 diff changeset	10	ISABELLE_WINDOWS_PLATFORM32=""
36c650d1a90d more detailed platform information; wenzelm parents: 62911 diff changeset	11	ISABELLE_WINDOWS_PLATFORM64=""
36196 cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	12
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	13	case $(uname -s) in
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	14	Linux)
50182 30177ec0be36 added ISABELLE_PLATFORM_FAMILY; wenzelm parents: 48455 diff changeset	15	ISABELLE_PLATFORM_FAMILY="linux"
36196 cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	16	case $(uname -m) in
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	17	i?86)
48455 a509f19d4cc6 provide explicit ISABELLE_PLATFORM32 as well; wenzelm parents: 42716 diff changeset	18	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	19	;;
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	20	x86_64)
48455 a509f19d4cc6 provide explicit ISABELLE_PLATFORM32 as well; wenzelm parents: 42716 diff changeset	21	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	22	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	23	;;
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	24	esac
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	25	;;
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	26	Darwin)
50182 30177ec0be36 added ISABELLE_PLATFORM_FAMILY; wenzelm parents: 48455 diff changeset	27	ISABELLE_PLATFORM_FAMILY="macos"
36196 cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	28	case $(uname -m) in
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	29	i?86)
48455 a509f19d4cc6 provide explicit ISABELLE_PLATFORM32 as well; wenzelm parents: 42716 diff changeset	30	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	31	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	32	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	33	fi
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	34	;;
36213 4df49260bd82 accept x86_64 results gracefully -- NB: Mac OS does report that if booted in 64 bit mode; wenzelm parents: 36196 diff changeset	35	x86_64)
48455 a509f19d4cc6 provide explicit ISABELLE_PLATFORM32 as well; wenzelm parents: 42716 diff changeset	36	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	37	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	38	;;
36196 cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	39	esac
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	CYGWIN_NT*)
50182 30177ec0be36 added ISABELLE_PLATFORM_FAMILY; wenzelm parents: 48455 diff changeset	42	ISABELLE_PLATFORM_FAMILY="windows"
36196 cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	43	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	44	i?86 \| x86_64)
48455 a509f19d4cc6 provide explicit ISABELLE_PLATFORM32 as well; wenzelm parents: 42716 diff changeset	45	ISABELLE_PLATFORM32=x86-cygwin
65072 36c650d1a90d more detailed platform information; wenzelm parents: 62911 diff changeset	46	if [ "$PROCESSOR_ARCHITECTURE" = "AMD64" -o "$PROCESSOR_ARCHITEW6432" = "AMD64" ]; then
65073 b5bf76cf2b4e more uniform platform settings; wenzelm parents: 65072 diff changeset	47	ISABELLE_WINDOWS_PLATFORM32="x86-windows"
65072 36c650d1a90d more detailed platform information; wenzelm parents: 62911 diff changeset	48	ISABELLE_WINDOWS_PLATFORM64="x86_64-windows"
36c650d1a90d more detailed platform information; wenzelm parents: 62911 diff changeset	49	else
36c650d1a90d more detailed platform information; wenzelm parents: 62911 diff changeset	50	ISABELLE_WINDOWS_PLATFORM32="x86-windows"
36c650d1a90d more detailed platform information; wenzelm parents: 62911 diff changeset	51	fi
36196 cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	52	;;
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	53	esac
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	54	;;
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	55	*BSD)
50182 30177ec0be36 added ISABELLE_PLATFORM_FAMILY; wenzelm parents: 48455 diff changeset	56	ISABELLE_PLATFORM_FAMILY="linux"
36196 cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	57	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	58	i?86 \| x86_64)
48455 a509f19d4cc6 provide explicit ISABELLE_PLATFORM32 as well; wenzelm parents: 42716 diff changeset	59	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	60	;;
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	61	esac
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	62	;;
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	63	esac
cbb9ee265cdd added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea; wenzelm parents: diff changeset	64
48455 a509f19d4cc6 provide explicit ISABELLE_PLATFORM32 as well; wenzelm parents: 42716 diff changeset	65	ISABELLE_PLATFORM="$ISABELLE_PLATFORM32"
65073 b5bf76cf2b4e more uniform platform settings; wenzelm parents: 65072 diff changeset	66	ISABELLE_WINDOWS_PLATFORM="$ISABELLE_WINDOWS_PLATFORM32"

author	wenzelm
	Thu, 16 Mar 2017 12:00:40 +0100
changeset 65276	fa1a5efee2ec
parent 65073	b5bf76cf2b4e
child 66691	a8703e8ee1d3
permissions	-rw-r--r--