isabelle: Admin/polyml/settings@455549306166 (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
74637 455549306166 test version of prespective polyml-5.9; wenzelm parents: 72131 diff changeset	15	ML_SYSTEM=polyml-5.9
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"
71396 c1c61d0d8e7c clarified build_polyml_component: include IDE entry point for ML compiler; wenzelm parents: 70988 diff changeset	18
71397 028edb1e5b99 clarified file names; wenzelm parents: 71396 diff changeset	19	ISABELLE_DOCS_EXAMPLES="$ISABELLE_DOCS_EXAMPLES:\$ML_SOURCES/ROOT.ML"

author	wenzelm
	Sat, 30 Oct 2021 13:12:22 +0200
changeset 74637	455549306166
parent 72131	284d6c06cbfb
child 74728	58ae06d382ee
permissions	-rw-r--r--