# HG changeset patch # User wenzelm # Date 1711546672 -3600 # Node ID 5c00c04f09fbef0f5376729f33326f73a3f27ebd # Parent a2d15ad6877ab7db2d6044ebb3c701991c6fca5f misc tuning; more text; diff -r a2d15ad6877a -r 5c00c04f09fb Admin/components/README.md --- a/Admin/components/README.md Wed Mar 27 14:20:06 2024 +0100 +++ b/Admin/components/README.md Wed Mar 27 14:37:52 2024 +0100 @@ -54,6 +54,10 @@ - **Cygwin 3.5.x** https://isabelle.sketis.net/cygwin_2024 (`x86_64/release`) +Multi-platform tools require thorough testing on all platforms: base-line and +latest versions. It "works for me on my system" is not sufficient for the +general public. + ### Multiple platform personalities ### @@ -231,6 +235,12 @@ specified above (e.g. via Docker); all results are assembled into one big `.tar.gz` archive. -Multi-platform tools also require thorough testing on all platforms: base-line -and latest versions. It "works for me on my system" is not sufficient for the -general public. + +### 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`. +