blob: 9a88ebef26cab4336fb9e08891e16def5be32641 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
--- Isabelle2016-orig/contrib/jfreechart-1.0.14-1/etc/settings 2013-09-12 07:46:57.000000000 +1000
+++ Isabelle2016/contrib/jfreechart-1.0.14-1/etc/settings 2016-07-07 17:22:55.716464804 +1000
@@ -1,9 +1,8 @@
# -*- shell-script -*- :mode=shellscript:
JFREECHART_HOME="$COMPONENT"
-JFREECHART_JAR_NAMES="iText-2.1.5.jar jcommon-1.0.18.jar jfreechart-1.0.14.jar"
-
-classpath "$JFREECHART_HOME/lib/iText-2.1.5.jar"
-classpath "$JFREECHART_HOME/lib/jcommon-1.0.18.jar"
-classpath "$JFREECHART_HOME/lib/jfreechart-1.0.14.jar"
+JFREECHART_JAR_NAMES="$(java-config --classpath itext | sed -e 's@:@ @g' -e 's@/[^ ]*/@@g') $(java-config --classpath jcommon-1.0 | sed -e 's@:@ @g' -e 's@/[^ ]*/@@g') $(java-config --classpath jfreechart-1.0 | sed -e 's@:@ @g' -e 's@/[^ ]*/@@g')"
+classpath "$(java-config --classpath itext)"
+classpath "$(java-config --classpath jcommon-1.0)"
+classpath "$(java-config --classpath jfreechart-1.0)"
|
GitWeb
