Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
update to sqlite-3.45.2.0: clarified component name, following postgresql;
authorwenzelm
Thu, 21 Mar 2024 14:43:40 +0100
changeset 79954 475074795dca
parent 79953 e5fda68d4996
child 79955 ebe559f5a575
update to sqlite-3.45.2.0: clarified component name, following postgresql;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions
src/Pure/Admin/component_sqlite.scala file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Thu Mar 21 14:29:01 2024 +0100
+++ b/Admin/components/components.sha1	Thu Mar 21 14:43:40 2024 +0100
@@ -481,6 +481,7 @@
 cbd491c0feba1d21019d05564e76dd04f592ccb4 spass-3.8ds-1.tar.gz
 edaa1268d82203067657aabcf0371ce7d4b579b9 spass-3.8ds-2.tar.gz
 43b5afbcad575ab6817d2289756ca22fd2ef43a9 spass-3.8ds.tar.gz
+24a1397d06c79361d7507d59cbfe39962ce25148 sqlite-3.45.2.0.tar.gz
 b016a785f1f78855c00d351ff598355c3b87450f sqlite-jdbc-3.18.0-1.tar.gz
 b85b5bc071a59ef2a8326ceb1617d5a9a5be41cf sqlite-jdbc-3.18.0.tar.gz
 e56117a67ab01fb24c7fc054ede3160cefdac5f8 sqlite-jdbc-3.20.0.tar.gz
--- a/Admin/components/main	Thu Mar 21 14:29:01 2024 +0100
+++ b/Admin/components/main	Thu Mar 21 14:43:40 2024 +0100
@@ -33,7 +33,7 @@
 scala-3.3.3
 smbc-0.4.1
 spass-3.8ds-2
-sqlite-jdbc-3.45.0.0
+sqlite-3.45.2.0
 stack-2.15.1
 vampire-4.8
 verit-2021.06.2-rmx-1
--- a/src/Pure/Admin/component_sqlite.scala	Thu Mar 21 14:29:01 2024 +0100
+++ b/src/Pure/Admin/component_sqlite.scala	Thu Mar 21 14:43:40 2024 +0100
@@ -1,7 +1,7 @@
 /*  Title:      Pure/Admin/component_sqlite.scala
     Author:     Makarius
 
-Build Isabelle sqlite-jdbc component from official download.
+Build Isabelle sqlite component from official download.
 */
 
 package isabelle
@@ -11,7 +11,7 @@
   /* build sqlite */
 
   val default_main_url =
-    "https://repo1.maven.org/maven2/org/xerial/sqlite-jdbc/3.45.0.0/sqlite-jdbc-3.45.0.0.jar"
+    "https://repo1.maven.org/maven2/org/xerial/sqlite-jdbc/3.45.2.0/sqlite-jdbc-3.45.2.0.jar"
 
   val default_logger_url =
     "https://repo1.maven.org/maven2/org/slf4j/slf4j-api/1.7.36/slf4j-api-1.7.36.jar"
@@ -35,8 +35,9 @@
 
     /* component */
 
+    val component_name = main_name.replace("-jdbc", "")
     val component_dir =
-      Components.Directory(target_dir + Path.basic(main_name)).create(progress = progress)
+      Components.Directory(target_dir + Path.basic(component_name)).create(progress = progress)
 
     def download(url: String): Path = {
       val path = component_dir.lib + Path.basic(Url.get_base_name(url).get)
@@ -101,7 +102,7 @@
   /* Isabelle tool wrapper */
 
   val isabelle_tool =
-    Isabelle_Tool("component_sqlite", "build Isabelle sqlite-jdbc component from official download",
+    Isabelle_Tool("component_sqlite", "build Isabelle sqlite component from official download",
       Scala_Project.here,
       { args =>
         var target_dir = Path.current
@@ -118,7 +119,7 @@
     -V URL       logger URL
                  (default: """" + default_logger_url + """")
 
-  Build sqlite-jdbc component from the specified download URL (JAR), see also
+  Build sqlite component from the specified download URL (JAR), see also
   https://github.com/xerial/sqlite-jdbc and
   https://oss.sonatype.org/content/repositories/releases/org/xerial/sqlite-jdbc
 """,
isabelle