isabelle-2016-jfreechart-classpath.patch 930 B

1234567891011121314151617
  1. --- Isabelle2016-orig/contrib/jfreechart-1.0.14-1/etc/settings 2013-09-12 07:46:57.000000000 +1000
  2. +++ Isabelle2016/contrib/jfreechart-1.0.14-1/etc/settings 2016-07-07 17:22:55.716464804 +1000
  3. @@ -1,9 +1,8 @@
  4. # -*- shell-script -*- :mode=shellscript:
  5. JFREECHART_HOME="$COMPONENT"
  6. -JFREECHART_JAR_NAMES="iText-2.1.5.jar jcommon-1.0.18.jar jfreechart-1.0.14.jar"
  7. -
  8. -classpath "$JFREECHART_HOME/lib/iText-2.1.5.jar"
  9. -classpath "$JFREECHART_HOME/lib/jcommon-1.0.18.jar"
  10. -classpath "$JFREECHART_HOME/lib/jfreechart-1.0.14.jar"
  11. +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')"
  12. +classpath "$(java-config --classpath itext)"
  13. +classpath "$(java-config --classpath jcommon-1.0)"
  14. +classpath "$(java-config --classpath jfreechart-1.0)"