Advertisement
Guest User

Untitled

a guest
Apr 16th, 2016
40
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
XML 0.82 KB | None | 0 0
  1. <target name="_Gestor" depends="jar">
  2.  
  3.     <property name="gestor.jar.nombre" value="Gestor" />
  4.     <property name="gestor.dir" value="gestor" />
  5.     <property name="gestor.jar" value="${gestor.dir}/${gestor.jar.nombre}.jar" />
  6.  
  7.     <echo message="Empaquetando ${application.title} en un archivo JAR en ${gestor.jar}" />
  8.  
  9.     <delete dir="${gestor.dir}" />
  10.     <mkdir dir="${gestor.dir}" />
  11.  
  12.     <jar destfile="${gestor.dir}/gestor.temp.jar" manifest="manifest.mf">
  13.         <zipgroupfileset dir="dist" includes="*.jar" />
  14.         <zipgroupfileset dir="dist/lib" includes="*.jar" />
  15.     </jar>
  16.  
  17.     <zip destfile="${gestor.jar}">
  18.         <zipfileset src="${gestor.dir}/gestor.temp.jar" excludes="META-INF/*.SF, META-INF/*.DSA, META-INF/*.RSA" />
  19.     </zip>
  20.  
  21.     <delete file="${gestor.dir}/gestor.temp.jar" />
  22.  
  23. </target>
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement