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.
suppress duplicate slf4j-api --- already provided by sqlite;
authorwenzelm
Sat, 11 Jan 2025 23:17:08 +0100
changeset 81768 d47f3995e35d
parent 81767 3f90880136fe
child 81769 dfb6c4a15ef4
suppress duplicate slf4j-api --- already provided by sqlite;
src/Pure/Admin/component_solr.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/component_solr.scala	Sat Jan 11 22:18:47 2025 +0100
+++ b/src/Pure/Admin/component_solr.scala	Sat Jan 11 23:17:08 2025 +0100
@@ -70,7 +70,11 @@
       def jar_path(file: String): String = "$SOLR_HOME/lib/" + file
 
       val classpath = List("solr-solrj", "solr-api", "solr-core").map(_ + "-" + version + ".jar")
-      val solr_jars = File.read_dir(component_dir.lib).filterNot(classpath.contains)
+
+      def suppress(name: String): Boolean =
+        classpath.contains(name) || name.startsWith("slf4j-api")
+
+      val solr_jars = File.read_dir(component_dir.lib).filterNot(suppress)
 
       component_dir.write_settings("""
 SOLR_HOME="$COMPONENT"
isabelle