1234567891011121314151617 |
- --- 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)"
|