[isabelle-dev] Admin/components/README.md

[Makarius]

On 25/03/2024 20:03, Makarius wrote:
> Isabelle/36e33d227bf0 now provides Admin/components/README.md as merged and 
> updated version of former PLATFORMS + README in that directory.

Here is an updated version:
https://isabelle-dev.sketis.net/source/isabelle/browse/default/Admin/components/;ebd988ee1d57

In particular:

"""
### Dynamic setup of large components ###

An alternative approach, especially for components that are very large and/or
rarely used, is to provide an Isabelle setup tool that interested users may
run for themselves. This works particularly well for software products that
have their own "store" of downloadable artifacts. For example, see
`isabelle dotnet_setup` as defined in `src/Pure/Tools/dotnet_setup.scala`.
"""


Isabelle component management has become and art and an industry. There is 
more to say, especially for automated build setup (e.g. Setup_Tool service 
classes), but the text is already rather long.


	Makarius