Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- <target name="_Gestor" depends="jar">
- <property name="gestor.jar.nombre" value="Gestor" />
- <property name="gestor.dir" value="gestor" />
- <property name="gestor.jar" value="${gestor.dir}/${gestor.jar.nombre}.jar" />
- <echo message="Empaquetando ${application.title} en un archivo JAR en ${gestor.jar}" />
- <delete dir="${gestor.dir}" />
- <mkdir dir="${gestor.dir}" />
- <jar destfile="${gestor.dir}/gestor.temp.jar" manifest="manifest.mf">
- <zipgroupfileset dir="dist" includes="*.jar" />
- <zipgroupfileset dir="dist/lib" includes="*.jar" />
- </jar>
- <zip destfile="${gestor.jar}">
- <zipfileset src="${gestor.dir}/gestor.temp.jar" excludes="META-INF/*.SF, META-INF/*.DSA, META-INF/*.RSA" />
- </zip>
- <delete file="${gestor.dir}/gestor.temp.jar" />
- </target>
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement