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.
updated to sqlite-jdbc-3.34.0, with support for native arm64-darwin;
authorwenzelm
Thu, 24 Dec 2020 14:24:10 +0100
changeset 73000 a4efee8f8842
parent 72999 f6051c13bffa
child 73003 ea0108cefc86
updated to sqlite-jdbc-3.34.0, with support for native arm64-darwin;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions
src/Pure/Admin/build_sqlite.scala file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Thu Dec 24 14:03:15 2020 +0100
+++ b/Admin/components/components.sha1	Thu Dec 24 14:24:10 2020 +0100
@@ -321,6 +321,7 @@
 4d17611857fa3a93944c1f159c0fd2a161967aaf  sqlite-jdbc-3.27.2.1.tar.gz
 806be457eb79408fcc5a72aeca3f64b2d89a6b63  sqlite-jdbc-3.30.1.tar.gz
 cba2b194114216b226d75d49a70d1bd12b141ac8  sqlite-jdbc-3.32.3.2.tar.gz
+29306acd6ce9f4c87032b2c271c6df035fe7d4d3  sqlite-jdbc-3.34.0.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	Thu Dec 24 14:03:15 2020 +0100
+++ b/Admin/components/main	Thu Dec 24 14:24:10 2020 +0100
@@ -17,7 +17,7 @@
 scala-2.12.12
 smbc-0.4.1
 spass-3.8ds-2
-sqlite-jdbc-3.32.3.2
+sqlite-jdbc-3.34.0
 ssh-java-20190323
 stack-2.5.1
 vampire-4.2.2
--- a/src/Pure/Admin/build_sqlite.scala	Thu Dec 24 14:03:15 2020 +0100
+++ b/src/Pure/Admin/build_sqlite.scala	Thu Dec 24 14:24:10 2020 +0100
@@ -67,6 +67,7 @@
           "META-INF/maven/org.xerial/sqlite-jdbc/LICENSE.zentus" -> ".",
           "org/sqlite/native/Linux/aarch64/libsqlitejdbc.so" -> "arm64-linux",
           "org/sqlite/native/Linux/x86_64/libsqlitejdbc.so" -> "x86_64-linux",
+          "org/sqlite/native/Mac/aarch64/libsqlitejdbc.jnilib" -> "arm64-darwin",
           "org/sqlite/native/Mac/x86_64/libsqlitejdbc.jnilib" -> "x86_64-darwin",
           "org/sqlite/native/Windows/x86_64/sqlitejdbc.dll" -> "x86_64-windows")
 
@@ -95,7 +96,8 @@
     -D DIR       target directory (default ".")
 
   Build sqlite-jdbc component from the specified download URL (JAR), see also
-  https://github.com/xerial/sqlite-jdbc/releases
+  https://github.com/xerial/sqlite-jdbc and
+  https://oss.sonatype.org/content/repositories/releases/org/xerial/sqlite-jdbc
 """,
         "D:" -> (arg => target_dir = Path.explode(arg)))
isabelle