[ jEdit-devel ] Proposal for change to build-support/plugin-build.xml

[Dale A. <da...@gr...>]

I'd like to propose a change to the plugin-build.xml file in build-support:

1. add 2 properties:
    <property name="compiler.bootclasspath" 
value="${java.home}/lib/rt.jar"/>
    <property name="compiler.extdirs"       value="${java.ext.dirs}"/>
2. adjust jp.javac to use these properties:
    <presetdef name="jp.javac">
        <javac destdir="${build.classes}"
                debug="${compiler.debug}"
                debuglevel="${compiler.debuglevel}"
                optimize="${compiler.optimize}"
                deprecation="${compiler.deprecation}"
                verbose="${compiler.verbose}"
                nowarn="${compiler.nowarn}"
                target="${compiler.target}"
                source="${compiler.source}"
                listfiles="${compiler.listfiles}"
                fork="${compiler.fork}"
                bootclasspath="${compiler.bootclasspath}"
                extdirs="${compiler.extdirs}"
                >
            <src location="${src.dir}" />
            <classpath refid="default.class.path" />
            <classpath refid="project.class.path" />
        </javac>
    </presetdef>
   
This change makes it possible to set javac to use the right rt.jar file 
for the source and target versions in build.properties.  If there are no 
objections, I'll commit this change.

Dale