--- a/src/Pure/Admin/build_polyml.scala Mon Oct 05 22:07:25 2020 +0200
+++ b/src/Pure/Admin/build_polyml.scala Mon Oct 05 22:23:17 2020 +0200
@@ -233,10 +233,7 @@
component_dir: Path,
sha1_root: Option[Path] = None)
{
- if (component_dir.is_file || component_dir.is_dir)
- error("Component directory already exists: " + component_dir)
-
- Isabelle_System.make_directory(component_dir)
+ Isabelle_System.new_directory(component_dir)
extract_sources(source_archive, component_dir)
File.copy(Path.explode("~~/Admin/polyml/README"), component_dir)