src/Pure/Admin/build_polyml.scala

 
 
   /** Isabelle tool wrappers **/
 
   val isabelle_tool1 =
-    Isabelle_Tool("build_polyml", "build Poly/ML from sources", args =>
+    Isabelle_Tool("build_polyml", "build Poly/ML from sources", Scala_Project.here, args =>
     {
       var mingw = MinGW.none
       var arch_64 = Isabelle_Platform.self.is_arm
       var sha1_root: Option[Path] = None
 

       build_polyml(root, sha1_root = sha1_root, progress = new Console_Progress,
         arch_64 = arch_64, options = options, mingw = mingw)
     })
 
   val isabelle_tool2 =
-    Isabelle_Tool("build_polyml_component", "make skeleton for Poly/ML component", args =>
+    Isabelle_Tool("build_polyml_component", "make skeleton for Poly/ML component",
+      Scala_Project.here, args =>
     {
       var sha1_root: Option[Path] = None
 
       val getopts = Getopts("""
 Usage: isabelle build_polyml_component [OPTIONS] SOURCE_ARCHIVE COMPONENT_DIR