aboutsummaryrefslogtreecommitdiffstats
path: root/make/build.xml
diff options
context:
space:
mode:
authorSven Gothel <[email protected]>2011-02-23 04:45:47 +0100
committerSven Gothel <[email protected]>2011-02-23 04:45:47 +0100
commit06d6c31e74357d550311795a92733822805a9215 (patch)
tree99ba07315993196ec2234aa3f66a101f573a205a /make/build.xml
parent32059c88643fbf34ae05e5615d6b27b3313cafe5 (diff)
Provide task 'archive.7z' and use it instead of zip
Diffstat (limited to 'make/build.xml')
-rw-r--r--make/build.xml10
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 -->