diff options
Diffstat (limited to 'make/build.xml')
| -rw-r--r-- | make/build.xml | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/make/build.xml b/make/build.xml index d40fb0318..48924b932 100644 --- a/make/build.xml +++ b/make/build.xml @@ -1282,6 +1282,35 @@ /> </target> + <!-- unjar and re-jar the platform-independent jogl.jar with the official manifest --> + <target name="redist" depends="dist.dir.check"> + <condition property="dist.complete"> + <available file="${jogl.dist.dir}/jogl.jar" /> + </condition> + <fail unless="dist.complete"> + ****************************************************************** + ** It appears the dist command did not complete; the platform- ** + ** independent jogl.jar is missing. Please check the status of ** + ** the dist build and try again. ** + ****************************************************************** + </fail> + <delete dir="${jogl.dist.dir}/tmp" failonerror="false" /> + <mkdir dir="${jogl.dist.dir}/tmp" /> + <unjar src="${jogl.dist.dir}/jogl.jar" dest="${jogl.dist.dir}/tmp" /> + <delete dir="${jogl.dist.dir}/tmp/META-INF" /> + <delete file="${jogl.dist.dir}/jogl.jar" /> + <jar manifest="joglRIversion" + destfile="${jogl.dist.dir}/jogl.jar" + basedir="${jogl.dist.dir}/tmp" + includes="*/**" /> + <delete dir="${jogl.dist.dir}/tmp" /> + <!-- Apply Pack200 repacking to allow later compression by that mechanism --> + <apply executable="pack200" > + <arg value="--repack" /> + <fileset file="${jogl.dist.dir}/jogl.jar" /> + </apply> + </target> + <!-- ================================================================== --> <!-- - Clean up all that is built. |