diff --git a/build.xml b/build.xml index eebe6287105140721e956fc638266266e20ffe2b..cf502306ba75595fbd57843f180cb8547ac55e2b 100644 --- a/build.xml +++ b/build.xml @@ -251,10 +251,15 @@ <target name="coverage" depends="instrument,test,coverage-report"/> <target name="dist" depends="compile,compile-test"> + <xmlproperty file="pom.xml" prefix="pom"/> + <echo message="Setting Floodlight version: ${pom.project.version}"/> + <echo message="Setting Floodlight name: ${pom.project.name}"/> <jar destfile="${floodlight-jar}" filesetmanifest="mergewithoutmain"> <manifest> <attribute name="Main-Class" value="${main-class}"/> <attribute name="Class-Path" value="."/> + <attribute name="Implementation-Version" value="${pom.project.version}"/> + <attribute name="Implementation-Title" value="${pom.project.name}"/> </manifest> <fileset dir="${build}"/> <fileset dir="${resources}"/>