isabelle: Admin/polyml/settings@06425eaa9cd7 (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
69822 8c587dd44f51 updated to polyml-5.8-20190220 (pre-release of Poly/ML 5.8); wenzelm parents: 69704 diff changeset	15	ML_SYSTEM=polyml-5.8
69704 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, 12 Aug 2019 15:43:05 +0200
changeset 70512	06425eaa9cd7
parent 69822	8c587dd44f51
child 70988	38ade730f6df
permissions	-rw-r--r--