adding some basic handling that unfolds a conjecture in a locale before testing it with quickcheck
# -*- shell-script -*- :mode=shellscript:
#
# determine general hardware and operating system type for Isabelle
#
# NOTE: The ML system or JVM may have their own idea about the platform!
ISABELLE_PLATFORM="unknown-platform"
ISABELLE_PLATFORM64=""
case $(uname -s) in
Linux)
case $(uname -m) in
i?86)
ISABELLE_PLATFORM=x86-linux
;;
x86_64)
ISABELLE_PLATFORM=x86-linux
ISABELLE_PLATFORM64=x86_64-linux
;;
esac
;;
Darwin)
case $(uname -m) in
i?86)
ISABELLE_PLATFORM=x86-darwin
if [ "$(sysctl -n hw.optional.x86_64 2>/dev/null)" = 1 ]; then
ISABELLE_PLATFORM64=x86_64-darwin
fi
;;
x86_64)
ISABELLE_PLATFORM=x86-darwin
ISABELLE_PLATFORM64=x86_64-darwin
;;
Power* | power* | ppc)
ISABELLE_PLATFORM=ppc-darwin
;;
esac
;;
CYGWIN_NT*)
case $(uname -m) in
i?86 | x86_64)
ISABELLE_PLATFORM=x86-cygwin
;;
esac
;;
SunOS)
case $(uname -r) in
5.*)
case $(uname -p) in
sparc)
ISABELLE_PLATFORM=sparc-solaris
;;
i?86 | x86_64)
ISABELLE_PLATFORM=x86-solaris
;;
esac
;;
esac
;;
*BSD)
case $(uname -m) in
i?86 | x86_64)
ISABELLE_PLATFORM=x86-linux
;;
esac
;;
esac