# HG changeset patch
# User wenzelm
# Date 1617181038 -7200
# Node ID b7bb665fe850b6c69a8ea838153364e6d458e120
# Parent  e52a9b2084813a18973a14d44894178d4a81a8b8
more systematic java_library: avoid empty entries, declaration order as for other bash functions;

diff -r e52a9b208481 -r b7bb665fe850 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Tue Mar 30 12:32:24 2021 +0200
+++ b/Admin/components/components.sha1	Wed Mar 31 10:57:18 2021 +0200
@@ -214,6 +214,7 @@
 52e95b3493d71902f9df89d0bb59d0046a5f0c63  kodkodi-1.5.4-1.tar.gz
 267189c637de26cf304d699cfa95389da002b250  kodkodi-1.5.4.tar.gz
 3ecdade953bb455ed2907952be287d7e5cf6533b  kodkodi-1.5.5.tar.gz
+8aa939f5127290eb9a99952d375be9ffbf90c43b  kodkodi-1.5.6-1.tar.gz
 6b12bf3f40b16fae8ff22aa39171fa018d107cb3  kodkodi-1.5.6.tar.gz
 377e36efb8608e6c828c7718d890e97fde2006a4  linux_app-20131007.tar.gz
 759848095e2ad506083d92b5646947e3c32f27a0  linux_app-20191223.tar.gz
diff -r e52a9b208481 -r b7bb665fe850 Admin/components/main
--- a/Admin/components/main	Tue Mar 30 12:32:24 2021 +0200
+++ b/Admin/components/main	Wed Mar 31 10:57:18 2021 +0200
@@ -10,7 +10,7 @@
 jedit_build-20210201
 jfreechart-1.5.1
 jortho-1.0-2
-kodkodi-1.5.6
+kodkodi-1.5.6-1
 nunchaku-0.5
 opam-2.0.7
 polyml-test-f86ae3dc1686
diff -r e52a9b208481 -r b7bb665fe850 lib/scripts/getfunctions
--- a/lib/scripts/getfunctions	Tue Mar 30 12:32:24 2021 +0200
+++ b/lib/scripts/getfunctions	Wed Mar 31 10:57:18 2021 +0200
@@ -113,6 +113,40 @@
 }
 export -f classpath
 
+#java_library
+function java_library ()
+{
+  local X=""
+  for X in "$@"
+  do
+    case "$ISABELLE_PLATFORM_FAMILY" in
+      linux)
+        if [ -z "$LD_LIBRARY_PATH" ]; then
+          export LD_LIBRARY_PATH="$X"
+        else
+          export LD_LIBRARY_PATH="$LD_LIBRARY_PATH:$X"
+        fi
+        ;;
+      macos)
+        if [ -z "$JAVA_LIBRARY_PATH" ]; then
+          export JAVA_LIBRARY_PATH="$X"
+        else
+          export JAVA_LIBRARY_PATH="$JAVA_LIBRARY_PATH:$X"
+        fi
+        ;;
+      windows)
+        if [ -z "$PATH" ]; then
+          export PATH="$X"
+        else
+          export PATH="$PATH:$X"
+        fi
+        ;;
+    esac
+  done
+  export ISABELLE_CLASSPATH
+}
+export -f java_library
+
 #Isabelle fonts
 function isabelle_fonts ()
 {