isabelle: Admin/polyml/settings@3fb94d9b87b0 (annotated)

49000 0cebcbeac4c7 provide polyml-5.4.1 as regular component; wenzelm parents: diff changeset	1	# -- shell-script -- :mode=shellscript:
0cebcbeac4c7 provide polyml-5.4.1 as regular component; wenzelm parents: diff changeset	2
53686 432edb1a2469 updated to polyml-5.5.1; wenzelm parents: 51060 diff changeset	3	POLYML_HOME="$COMPONENT"
432edb1a2469 updated to polyml-5.5.1; wenzelm parents: 51060 diff changeset	4
69704 3fb94d9b87b0 updated polyml platform: 32=x86_64_32; wenzelm parents: 67581 diff changeset	5	ML_PLATFORM="${ISABELLE_WINDOWS_PLATFORM64:-${ISABELLE_PLATFORM64}}"
49000 0cebcbeac4c7 provide polyml-5.4.1 as regular component; wenzelm parents: diff changeset	6
61158 ea6a4c8bc722 convenient change of ML system architecture via system option ML_preference_64, which is grepped off-line from stored preferences during bootstrap; wenzelm parents: 61136 diff changeset	7	if grep "ML_system_64.=.true" "$ISABELLE_HOME_USER/etc/preferences" >/dev/null 2>/dev/null
ea6a4c8bc722 convenient change of ML system architecture via system option ML_preference_64, which is grepped off-line from stored preferences during bootstrap; wenzelm parents: 61136 diff changeset	8	then
69704 3fb94d9b87b0 updated polyml platform: 32=x86_64_32; wenzelm parents: 67581 diff changeset	9	ML_OPTIONS="--minheap 1000"
61158 ea6a4c8bc722 convenient change of ML system architecture via system option ML_preference_64, which is grepped off-line from stored preferences during bootstrap; wenzelm parents: 61136 diff changeset	10	else
69704 3fb94d9b87b0 updated polyml platform: 32=x86_64_32; wenzelm parents: 67581 diff changeset	11	ML_PLATFORM="${ML_PLATFORM/x86_64/x86_64_32}"
3fb94d9b87b0 updated polyml platform: 32=x86_64_32; wenzelm parents: 67581 diff changeset	12	ML_OPTIONS="--minheap 500"
61158 ea6a4c8bc722 convenient change of ML system architecture via system option ML_preference_64, which is grepped off-line from stored preferences during bootstrap; wenzelm parents: 61136 diff changeset	13	fi
49000 0cebcbeac4c7 provide polyml-5.4.1 as regular component; wenzelm parents: diff changeset	14
69704 3fb94d9b87b0 updated polyml platform: 32=x86_64_32; wenzelm parents: 67581 diff changeset	15	ML_SYSTEM=polyml-5.7.1
3fb94d9b87b0 updated polyml platform: 32=x86_64_32; wenzelm parents: 67581 diff changeset	16	ML_HOME="$POLYML_HOME/$ML_PLATFORM"
3fb94d9b87b0 updated polyml platform: 32=x86_64_32; wenzelm parents: 67581 diff changeset	17	ML_SOURCES="$POLYML_HOME/src"

author	wenzelm
	Mon, 21 Jan 2019 20:03:20 +0100
changeset 69704	3fb94d9b87b0
parent 67581	30f412d1d7c3
child 69822	8c587dd44f51
permissions	-rw-r--r--