diff options
| author | Sven Gothel <[email protected]> | 2011-02-23 04:53:03 +0100 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2011-02-23 04:53:03 +0100 |
| commit | c99640cc9c87946da0a5216c7eb09bfba1ad8305 (patch) | |
| tree | 50c5f1fc881e9ea6070617080887aaefe0acfbcb | |
| parent | ad55cb011252ff1a176dc37775008819a02837c7 (diff) | |
Use 7z instead of zip
| -rwxr-xr-x | make/build.xml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/make/build.xml b/make/build.xml index ec884eb..f879d61 100755 --- a/make/build.xml +++ b/make/build.xml @@ -29,6 +29,7 @@ <property name="gluegen.build" value="${gluegen.root}/${rootrel.build}" /> <!-- Pull in GlueGen cpptasks build file --> <import file="${gluegen.root}/make/gluegen-cpptasks.xml" /> + <import file="${gluegen.root}/make/gluegen-archivetasks.xml" /> <property name="joal.root" value="${project.root}/../joal" /> <property name="joal.build" value="${joal.root}/${rootrel.build}" /> @@ -69,7 +70,6 @@ <property name="src.dir" value="../src" /> <property name="classes.dir" value="${build}/classes" /> <property name="joal.demos.jar" value="${build}/joal-demos.jar" /> - <property name="joal.demos.src.zip" value="${build}/joal-demos-src.zip" /> <property name="archive.name" value="joal-demos-${joal-demos.version}-${os.and.arch}" /> <property name="archive" value="${build}/${archive.name}" /> @@ -97,8 +97,7 @@ <copy todir="${archive}/www"> <fileset dir="${project.root}/www" 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 --> |