1 # -*- shell-script -*- :mode=shellscript:
3 # determine general hardware and operating system type for Isabelle
5 # NOTE: The ML system or JVM may have their own idea about the platform!
7 ISABELLE_PLATFORM="unknown-platform"
14 ISABELLE_PLATFORM=x86-linux
17 ISABELLE_PLATFORM=x86-linux
18 ISABELLE_PLATFORM64=x86_64-linux
25 ISABELLE_PLATFORM=x86-darwin
26 if [ "$(sysctl -n hw.optional.x86_64 2>/dev/null)" = 1 ]; then
27 ISABELLE_PLATFORM64=x86_64-darwin
31 ISABELLE_PLATFORM=x86-darwin
32 ISABELLE_PLATFORM64=x86_64-darwin
34 Power* | power* | ppc)
35 ISABELLE_PLATFORM=ppc-darwin
42 ISABELLE_PLATFORM=x86-cygwin
51 ISABELLE_PLATFORM=sparc-solaris
54 ISABELLE_PLATFORM=x86-solaris
63 ISABELLE_PLATFORM=x86-linux