diff options
| author | Sven Gothel <[email protected]> | 2011-02-23 04:45:47 +0100 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2011-02-23 04:45:47 +0100 |
| commit | 06d6c31e74357d550311795a92733822805a9215 (patch) | |
| tree | 99ba07315993196ec2234aa3f66a101f573a205a /make/build.xml | |
| parent | 32059c88643fbf34ae05e5615d6b27b3313cafe5 (diff) | |
Provide task 'archive.7z' and use it instead of zip
Diffstat (limited to 'make/build.xml')
| -rw-r--r-- | make/build.xml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/make/build.xml b/make/build.xml index aecfbe0..ed36a8d 100644 --- a/make/build.xml +++ b/make/build.xml @@ -20,6 +20,7 @@ </fail> <import file="gluegen-cpptasks.xml" /> + <import file="gluegen-archivetasks.xml" /> <condition property="rootrel.build" value="build"> <not> @@ -681,9 +682,9 @@ <classpath path="${classes}"/> <link offline="true" href="${javadoc.link}" packagelistLoc="142-packages" /> </javadoc> - <zip destfile="${build}/javadoc.zip" - basedir="${javadoc.root.path}" - includes="gluegen/**" /> + <archive.7z destfile="${build}/javadoc.7z" + basedir="${javadoc.root.path}" + includes="gluegen/**" /> </target> <!-- ================================================================== --> @@ -709,8 +710,7 @@ <copy todir="${archive}/jnlp-files"> <fileset dir="${project.root}/jnlp-files" includes="*" /> </copy> - <delete quiet="true" file="${build}/${archive.name}.zip"/> - <zip destfile="${build}/${archive.name}.zip" + <archive.7z destfile="${build}/${archive.name}.7z" basedir="${build}" includes="${archive.name}/**" /> <!-- Clean up after ourselves --> |