updated to sqlite-jdbc-3.39.4.1;
authorwenzelm
Wed, 30 Nov 2022 15:53:21 +0100
changeset 76545 cee207c2ddec
parent 76544 b10926dbb763
child 76546 88cecb9f1cdc
updated to sqlite-jdbc-3.39.4.1; clarified directory layout;
Admin/components/components.sha1
Admin/components/main
src/Pure/Admin/build_sqlite.scala
--- a/Admin/components/components.sha1	Wed Nov 30 15:38:58 2022 +0100
+++ b/Admin/components/components.sha1	Wed Nov 30 15:53:21 2022 +0100
@@ -455,6 +455,7 @@
 cba2b194114216b226d75d49a70d1bd12b141ac8 sqlite-jdbc-3.32.3.2.tar.gz
 29306acd6ce9f4c87032b2c271c6df035fe7d4d3 sqlite-jdbc-3.34.0.tar.gz
 8a2ca4d02cfedbfe4dad4490f1ed3ddba33a009a sqlite-jdbc-3.36.0.3.tar.gz
+d2c707638b08ad56469b92dc2941d403efbb3394 sqlite-jdbc-3.39.4.1.tar.gz
 8d20968603f45a2c640081df1ace6a8b0527452a sqlite-jdbc-3.8.11.2.tar.gz
 2369f06e8d095f9ba26df938b1a96000e535afff ssh-java-20161009.tar.gz
 a2335d28b5b95d8d26500a53f1a9303fc5beaf36 ssh-java-20190323.tar.gz
--- a/Admin/components/main	Wed Nov 30 15:38:58 2022 +0100
+++ b/Admin/components/main	Wed Nov 30 15:53:21 2022 +0100
@@ -31,7 +31,7 @@
 scala-3.2.1
 smbc-0.4.1
 spass-3.8ds-2
-sqlite-jdbc-3.36.0.3
+sqlite-jdbc-3.39.4.1
 stack-2.7.3
 vampire-4.6
 verit-2021.06.2-rmx
--- a/src/Pure/Admin/build_sqlite.scala	Wed Nov 30 15:38:58 2022 +0100
+++ b/src/Pure/Admin/build_sqlite.scala	Wed Nov 30 15:53:21 2022 +0100
@@ -11,7 +11,7 @@
   /* build sqlite */
 
   val default_download_url =
-    "https://repo1.maven.org/maven2/org/xerial/sqlite-jdbc/3.36.0.3/sqlite-jdbc-3.36.0.3.jar"
+    "https://repo1.maven.org/maven2/org/xerial/sqlite-jdbc/3.39.4.1/sqlite-jdbc-3.39.4.1.jar"
 
   def build_sqlite(
     download_url: String = default_download_url,
@@ -46,13 +46,14 @@
 
 ISABELLE_SQLITE_HOME="$COMPONENT"
 
-classpath "$ISABELLE_SQLITE_HOME/""" + download_name + """.jar"
+classpath "$ISABELLE_SQLITE_HOME/lib/""" + download_name + """.jar"
 """)
 
 
     /* jar */
 
-    val jar = component_dir.path + Path.basic(download_name).ext("jar")
+    val jar = component_dir.lib + Path.basic(download_name).ext("jar")
+    Isabelle_System.make_directory(jar.dir)
     Isabelle_System.download_file(download_url, jar, progress = progress)
 
     Isabelle_System.with_tmp_dir("build") { jar_dir =>