# HG changeset patch
# User wenzelm
# Date 1711027605 -3600
# Node ID a2b06af75d3b09120c6bc9884aa290e3171f3cdc
# Parent  84f2d481d6d7721941b02680f1bc1ab398049adb
update to postgresql-42.7.3;
clarified component directory;

diff -r 84f2d481d6d7 -r a2b06af75d3b Admin/components/components.sha1
--- a/Admin/components/components.sha1	Thu Mar 21 14:19:05 2024 +0100
+++ b/Admin/components/components.sha1	Thu Mar 21 14:26:45 2024 +0100
@@ -433,6 +433,7 @@
 143d0d32a13d7d8e15b9bab866e14ad4308a6246 postgresql-42.5.0.tar.gz
 36a6e17794a93070278ac590650870ab73e6a7fb postgresql-42.6.0.tar.gz
 65bf0d99f4e80f5802c573106327c337fe608fe7 postgresql-42.7.1.tar.gz
+459c2b8da13910ba6c89ad91b9d26f4a63615117 postgresql-42.7.3.tar.gz
 f132329ca1045858ef456cc08b197c9eeea6881b postgresql-9.4.1212.tar.gz
 3fc5e7f759e7220b9e3fc5bac296e312e34a60ad prismjs-1.29.0.tar.gz
 f042bba5fb82c7eb8aee99f92eb6ec38c8a067f7 python-3.10.4.tar.gz
diff -r 84f2d481d6d7 -r a2b06af75d3b src/Pure/Admin/component_postgresql.scala
--- a/src/Pure/Admin/component_postgresql.scala	Thu Mar 21 14:19:05 2024 +0100
+++ b/src/Pure/Admin/component_postgresql.scala	Thu Mar 21 14:26:45 2024 +0100
@@ -13,7 +13,7 @@
   val notable_urls =
     List("https://jdbc.postgresql.org", "https://jdbc.postgresql.org/download")
 
-  val default_download_url = "https://jdbc.postgresql.org/download/postgresql-42.7.1.jar"
+  val default_download_url = "https://jdbc.postgresql.org/download/postgresql-42.7.3.jar"
 
 
   /* build postgresql */
@@ -82,13 +82,14 @@
     /* settings */
 
     component_dir.write_settings("""
-classpath "$COMPONENT/""" + download_name + """.jar"
+classpath "$COMPONENT/lib/""" + download_name + """.jar"
 """)
 
 
     /* jar */
 
-    val jar = component_dir.path + Path.basic(download_name).jar
+    val jar = component_dir.lib + Path.basic(download_name).jar
+    Isabelle_System.make_directory(jar.dir)
     Isabelle_System.download_file(download_url, jar, progress = progress)
   }