--- a/src/Pure/Admin/build_postgresql.scala Sun Nov 13 21:59:19 2022 +0100
+++ b/src/Pure/Admin/build_postgresql.scala Sun Nov 20 23:37:54 2022 +0100
@@ -36,13 +36,13 @@
/* component */
- val component_dir = Isabelle_System.new_directory(target_dir + Path.basic(download_name))
- progress.echo("Component " + component_dir)
+ val component_dir =
+ Components.Directory.create(target_dir + Path.basic(download_name), progress = progress)
/* LICENSE */
- File.write(component_dir + Path.basic("LICENSE"),
+ File.write(component_dir.LICENSE,
"""Copyright (c) 1997, PostgreSQL Global Development Group
All rights reserved.
@@ -71,7 +71,7 @@
/* README */
- File.write(component_dir + Path.basic("README"),
+ File.write(component_dir.README,
"""This is PostgreSQL JDBC """ + download_version + """ from
""" + notable_urls.mkString(" and ") + """
@@ -81,9 +81,7 @@
/* settings */
- val etc_dir = Isabelle_System.make_directory(component_dir + Path.basic("etc"))
-
- File.write(etc_dir + Path.basic("settings"),
+ File.write(component_dir.settings,
"""# -*- shell-script -*- :mode=shellscript:
classpath "$COMPONENT/""" + download_name + """.jar"
@@ -92,7 +90,7 @@
/* jar */
- val jar = component_dir + Path.basic(download_name).ext("jar")
+ val jar = component_dir.path + Path.basic(download_name).ext("jar")
Isabelle_System.download_file(download_url, jar, progress = progress)
}