|
|
|
@ -450,7 +450,7 @@
|
|
|
|
|
<target name="distMain" depends="copyMain4Dist" description="Compiling sources and make a release file ...">
|
|
|
|
|
|
|
|
|
|
<tar destfile="${release}/${releaseFile}" compression="gzip" defaultexcludes="yes" longfile="gnu">
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
<!-- packing all files into a gzipped tar -->
|
|
|
|
|
<tarfileset dir="${release_main}" prefix="${releaseDir}/" dirmode="${accessRightsDir}" mode="${accessRightsFile}" >
|
|
|
|
|
<include name="**/*.*"/>
|
|
|
|
@ -466,10 +466,16 @@
|
|
|
|
|
|
|
|
|
|
<target name="distAllInOne" depends="copyMain4Dist,compileExtensions">
|
|
|
|
|
<tar destfile="${release}/${allInOneFile}" compression="gzip" defaultexcludes="yes" longfile="gnu">
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
<!-- packing all files into a gzipped tar -->
|
|
|
|
|
<tarfileset dir="${release_main}" prefix="${releaseDir}/" dirmode="${accessRightsDir}" mode="${accessRightsExecutable}">
|
|
|
|
|
<include name="**/*.sh"/>
|
|
|
|
|
<include name="**/*.command"/>
|
|
|
|
|
</tarfileset>
|
|
|
|
|
<tarfileset dir="${release_main}" prefix="${releaseDir}/" dirmode="${accessRightsDir}" mode="${accessRightsFile}" >
|
|
|
|
|
<include name="**/*.*"/>
|
|
|
|
|
<include name="**/*.*"/>
|
|
|
|
|
<exclude name="**/*.sh"/>
|
|
|
|
|
<exclude name="**/*.command"/>
|
|
|
|
|
</tarfileset>
|
|
|
|
|
|
|
|
|
|
<tarfileset dir="${release_ext}" prefix="${releaseDir}/" dirmode="${accessRightsDir}" mode="${accessRightsFile}" >
|
|
|
|
|