# HG changeset patch
# User wenzelm
# Date 1713880564 -7200
# Node ID cfe18c31725c53e2b15832d2226016867fa381dd
# Parent  378593bf510950032638c24528a96afe565c706d
proper command-line;

diff -r 378593bf5109 -r cfe18c31725c Admin/polyml/INSTALL-MinGW
--- a/Admin/polyml/INSTALL-MinGW	Tue Apr 23 10:26:04 2024 +0100
+++ b/Admin/polyml/INSTALL-MinGW	Tue Apr 23 15:56:04 2024 +0200
@@ -17,5 +17,4 @@
 - build (as regular user) e.g. on vmnipkow9 with Cygwin-Terminal from Isabelle2018
   (to avoid address relocation problems):
 
-    isabelle component_polyml -M /cygdrive/c/msys64 -m32 -s sha1 src
-    isabelle component_polyml -M /cygdrive/c/msys64 -m64 -s sha1 src
+    isabelle component_polyml -M /cygdrive/c/msys64