diff options
| author | Carsten Weisse <[email protected]> | 2007-03-17 16:11:59 +0000 |
|---|---|---|
| committer | Carsten Weisse <[email protected]> | 2007-03-17 16:11:59 +0000 |
| commit | 0053ee5274e69f1b374965c89f5c2c775d091de0 (patch) | |
| tree | d8f899bdbdcc87534ad5b4fb0fb79d1232fc5801 /build.xml | |
| parent | 2ec3467e86e97d24ce730b8090bc36564006987d (diff) | |
New "patch" task for lwjgl1.0 to improve performance.
This updates the original lwjgl.jar with modified versions of:
org.lwjgl.BufferChecks
org.lwjgl.opengl.GLChecks
org.lwjgl.opengl.GL11
Diffstat (limited to 'build.xml')
| -rw-r--r-- | build.xml | 18 |
1 files changed, 15 insertions, 3 deletions
@@ -14,7 +14,6 @@ <!-- properties --> <property name="version" value="cvs"/> <property name="src" location="src"/> - <property name="patch" location="patch"/> <property name="test" location="test"/> <property name="build" location="build"/> <property name="dist" location="dist"/> @@ -168,13 +167,26 @@ </keep> </proguard --> </target> - + + <target name="patch" depends="copy"> + <!-- performance patch for lwjgl --> + <javac destdir="${build}" optimize="off" debug="on" source="1.4"> + <src path="lib/lwjgl/patch"/> + <include name="org/lwjgl/**"/> + <classpath refid="build.class.path"/> + </javac> + <!-- update original lwjgl.jar --> + <jar destfile="${dist}/lib/lwjgl.jar" basedir="${build}" update="true"> + <include name="org/lwjgl/**"/> + </jar> + </target> + <!-- everything --> <target name="all" depends="installer,bindist,srcdist"> </target> <!-- dist --> - <target name="dist" depends="jar,copy"> + <target name="dist" depends="jar,copy,patch"> </target> <!-- binary distribution --> |