--- a/Admin/polyml/INSTALL-MinGW Wed Mar 08 10:12:41 2023 +0100
+++ b/Admin/polyml/INSTALL-MinGW Wed Mar 08 10:47:32 2023 +0100
@@ -17,5 +17,5 @@
- build (as regular user) e.g. on vmnipkow9 with Cygwin-Terminal from Isabelle2018
(to avoid address relocation problems):
- isabelle build_polyml -M /cygdrive/c/msys64 -m32 -s sha1 src
- isabelle build_polyml -M /cygdrive/c/msys64 -m64 -s sha1 src
+ isabelle component_polyml -M /cygdrive/c/msys64 -m32 -s sha1 src
+ isabelle component_polyml -M /cygdrive/c/msys64 -m64 -s sha1 src