Debian Patches

Status for starjava-pal/1.0.1+2024.07.24-1

Patch Description Author Forwarded Bugs Origin Last update
Fix-build.xml-for-use-outside-of-starjava.patch Fix build.xml for use outside of starjava
This includes the following changes:

* Rename the `extclasspath` elements to `path`. With ant >= 1.6, there is no
difference (and before, the difference was not relevant for Debian)

* Ignore local property files

* Change the starlink installation dir to the standard Java path /usr/share/java/

* Prefix the name by `starlink-`

* Adjust the build and test classpaths for Debian (also for CI tests)

* Set a class path in the jar manifest

* Set the source file encoding (cp1252), but not the source version (deprecated)

* Don't sign the jarfile
Ole Streicher <olebole@debian.org> no 2016-12-15

All known versions for source package 'starjava-pal'

Links