include a license in jars.

We wait until this branch is merged with the master and
apply proper licensing (reuse) afterwards.

Author: kfriedberger

build/build-documentation.xml

@@ -64,6 +64,7 @@
     <target name="javadoc-jar" depends="javadoc,determine-version,build" description="Pack Javadoc into a JAR">
         <property name="javadoc-jar.file" value="${ivy.module}-${version}-javadoc.jar"/>
         <jar jarfile="${javadoc-jar.file}">
+            <metainf dir="." includes="LICENSE"/>
             <fileset dir="Javadoc" />
         </jar>
     </target>

build/build-jar-yices2.xml

@@ -23,6 +23,7 @@
                 includes="${yices2Classes}"
                 excludes="${jar.excludesInYices2Jar}"
                 whenmanifestonly="fail">
+            <metainf dir="." includes="LICENSE"/>
             <manifest>
                 <attribute name="Class-Path" value="${yices2Classpath.jar}"/>
                 <attribute name="Main-Class" value="${class.main}"/>

build/build-jar.xml

@@ -26,6 +26,7 @@
                 includes="**"
                 excludes="${jar.excludes}"
                 whenmanifestonly="fail">
+            <metainf dir="." includes="LICENSE"/>
             <manifest>
                 <attribute name="Class-Path" value="${classpath.jar}"/>
                 <attribute name="Main-Class" value="${class.main}"/>
@@ -41,6 +42,7 @@
                 whenmanifestonly="fail">
             <fileset dir="${source.dir}/" includes="**/*.java" excludes="${jar.sources.excludes}"/>
             <fileset dir="${source.generated.dir}/" includes="**/*.java" excludes="${jar.sources.excludes}"/>
+            <metainf dir="." includes="LICENSE"/>
             <manifest>
                     <attribute name="Implementation-Title" value="${ant.project.name}"/>
                     <attribute name="Implementation-Version" value="${version}"/>