# HG changeset patch
# User wenzelm
# Date 1572604180 -3600
# Node ID 397533bf0c3f8bed1dd569c1f3c7109ec6587f2d
# Parent  d86798eddc14fe3b39e9e7d70ed8e952a78acb29
clarified error;

diff -r d86798eddc14 -r 397533bf0c3f src/Pure/Admin/build_polyml.scala
--- a/src/Pure/Admin/build_polyml.scala	Thu Oct 31 22:34:16 2019 +0100
+++ b/src/Pure/Admin/build_polyml.scala	Fri Nov 01 11:29:40 2019 +0100
@@ -74,6 +74,10 @@
         case Some(msys) => Isabelle_System.settings() + ("MSYS" -> msys.expand.implode)
       }
 
+    if (Platform.is_linux && !Isabelle_System.bash("chrpath -v").ok) {
+      error("""Missing "chrpath" executable on Linux""")
+    }
+
 
     /* bash */