File checker-qual-build.xml of Package checker-qual
<?xml version="1.0" encoding="UTF-8"?>
<project name="checker-qual" default="package" basedir=".">
<!-- ====================================================================== -->
<!-- Build environment properties -->
<!-- ====================================================================== -->
<property name="project.groupId" value="org.checkerframework"/>
<property name="project.artifactId" value="checker-qual"/>
<property name="project.version" value="3.22.0"/>
<property name="compiler.source" value="1.8"/>
<property name="compiler.target" value="${compiler.source}"/>
<property name="build.finalName" value="${project.artifactId}-${project.version}"/>
<property name="build.dir" value="target"/>
<property name="build.outputDir" value="${build.dir}/classes"/>
<property name="build.srcDir" value="src/main/java"/>
<property name="build.resourceDir" value="src/main/resources"/>
<property name="reporting.outputDirectory" value="${build.dir}/site"/>
<!-- ====================================================================== -->
<!-- Cleaning up target -->
<!-- ====================================================================== -->
<target name="clean" description="Clean the output directory">
<delete dir="${build.dir}"/>
</target>
<!-- ====================================================================== -->
<!-- Compilation target -->
<!-- ====================================================================== -->
<target name="compile" description="Compile the code">
<mkdir dir="${build.outputDir}"/>
<javac destdir="${build.outputDir}"
nowarn="false"
debug="true"
optimize="false"
deprecation="true"
target="${compiler.target}"
verbose="false"
fork="false"
source="${compiler.source}">
<src>
<pathelement location="${build.srcDir}"/>
</src>
</javac>
</target>
<!-- ====================================================================== -->
<!-- Javadoc target -->
<!-- ====================================================================== -->
<target name="javadoc" description="Generates the Javadoc of the application">
<javadoc sourcepath="${build.srcDir}"
packagenames="*"
destdir="${reporting.outputDirectory}/apidocs"
access="protected"
source="${compiler.source}"
verbose="false"
version="true"
use="true"
author="true"
splitindex="false"
nodeprecated="false"
nodeprecatedlist="false"
notree="false"
noindex="false"
nohelp="false"
nonavbar="false"
serialwarn="false"
charset="ISO-8859-1"
linksource="false"
breakiterator="false"/>
</target>
<!-- ====================================================================== -->
<!-- Package target -->
<!-- ====================================================================== -->
<target name="package" depends="compile" description="Package the application">
<jar jarfile="${build.dir}/${build.finalName}.jar"
compress="true"
index="false"
basedir="${build.outputDir}"
excludes="**/package.html">
<manifest>
<attribute name="Automatic-Module-Name" value="org.checkerframework.checker.qual"/>
<attribute name="Bundle-License" value="MIT"/>
<attribute name="Bundle-ManifestVersion" value="2"/>
<attribute name="Bundle-Name" value="${project.artifactId}"/>
<attribute name="Bundle-SymbolicName" value="${project.artifactId}"/>
<attribute name="Bundle-Version" value="${project.version}"/>
<attribute name="Export-Package" value="org.checkerframework.checker.builder.qual;version="${project.version}",org.checkerframework.checker.calledmethods.qual;uses:="org.checkerframework.framework.qual";version="${project.version}",org.checkerframework.checker.compilermsgs.qual;uses:="org.checkerframework.framework.qual";version="${project.version}",org.checkerframework.checker.fenum.qual;uses:="org.checkerframework.framework.qual";version="${project.version}",org.checkerframework.checker.formatter.qual;uses:="org.checkerframework.checker.nullness.qual,org.checkerframework.dataflow.qual,org.checkerframework.framework.qual";version="${project.version}",org.checkerframework.checker.formatter;uses:="org.checkerframework.checker.formatter.qual";version="${project.version}",org.checkerframework.checker.guieffect.qual;uses:="org.checkerframework.framework.qual";version="${project.version}",org.checkerframework.checker.i18n.qual;uses:="org.checkerframework.framework.qual";version="${project.version}",org.checkerframework.checker.i18nformatter.qual;uses:="org.checkerframework.checker.nullness.qual,org.checkerframework.framework.qual";version="${project.version}",org.checkerframework.checker.i18nformatter;uses:="org.checkerframework.checker.i18nformatter.qual";version="${project.version}",org.checkerframework.checker.index.qual;uses:="org.checkerframework.framework.qual";version="${project.version}",org.checkerframework.checker.initialization.qual;uses:="org.checkerframework.framework.qual";version="${project.version}",org.checkerframework.checker.interning.qual;uses:="org.checkerframework.framework.qual";version="${project.version}",org.checkerframework.checker.lock.qual;uses:="org.checkerframework.framework.qual";version="${project.version}",org.checkerframework.checker.nullness.qual;uses:="org.checkerframework.framework.qual";version="${project.version}",org.checkerframework.checker.nullness;uses:="org.checkerframework.checker.nullness.qual";version="${project.version}",org.checkerframework.checker.optional.qual;uses:="org.checkerframework.framework.qual";version="${project.version}",org.checkerframework.checker.propkey.qual;uses:="org.checkerframework.framework.qual";version="${project.version}",org.checkerframework.checker.regex.qual;uses:="org.checkerframework.framework.qual";version="${project.version}",org.checkerframework.checker.regex;uses:="org.checkerframework.checker.index.qual,org.checkerframework.checker.lock.qual,org.checkerframework.checker.nullness.qual,org.checkerframework.checker.regex.qual,org.checkerframework.dataflow.qual,org.checkerframework.framework.qual";version="${project.version}",org.checkerframework.checker.signature.qual;uses:="org.checkerframework.framework.qual";version="${project.version}",org.checkerframework.checker.signedness.qual;uses:="org.checkerframework.framework.qual";version="${project.version}",org.checkerframework.checker.signedness;uses:="org.checkerframework.checker.signedness.qual";version="${project.version}",org.checkerframework.checker.tainting.qual;uses:="org.checkerframework.framework.qual";version="${project.version}",org.checkerframework.checker.units.qual;uses:="org.checkerframework.framework.qual";version="${project.version}",org.checkerframework.checker.units;uses:="org.checkerframework.checker.units.qual";version="${project.version}",org.checkerframework.common.aliasing.qual;uses:="org.checkerframework.framework.qual";version="${project.version}",org.checkerframework.common.initializedfields.qual;uses:="org.checkerframework.framework.qual";version="${project.version}",org.checkerframework.common.reflection.qual;uses:="org.checkerframework.framework.qual";version="${project.version}",org.checkerframework.common.returnsreceiver.qual;uses:="org.checkerframework.framework.qual";version="${project.version}",org.checkerframework.common.subtyping.qual;uses:="org.checkerframework.framework.qual";version="${project.version}",org.checkerframework.common.util.report.qual;uses:="org.checkerframework.framework.qual";version="${project.version}",org.checkerframework.common.value.qual;uses:="org.checkerframework.framework.qual";version="${project.version}",org.checkerframework.dataflow.qual;version="${project.version}",org.checkerframework.framework.qual;version="${project.version}",org.checkerframework.framework.util;uses:="org.checkerframework.framework.qual";version="${project.version}""/>
<attribute name="Implementation-URL" value="https://checkerframework.org"/>
<attribute name="Implementation-Version" value="${project.version}"/>
<attribute name="Import-Package" value="org.checkerframework.checker.formatter.qual,org.checkerframework.checker.i18nformatter.qual,org.checkerframework.checker.index.qual,org.checkerframework.checker.interning.qual,org.checkerframework.checker.lock.qual,org.checkerframework.checker.nullness.qual,org.checkerframework.checker.regex.qual,org.checkerframework.checker.signedness.qual,org.checkerframework.checker.units.qual,org.checkerframework.dataflow.qual,org.checkerframework.framework.qual"/>
<attribute name="Require-Capability" value="osgi.ee;filter:="(&(osgi.ee=JavaSE)(version=${compiler.target}))""/>
</manifest>
</jar>
</target>
<!-- ====================================================================== -->
<!-- A dummy target for the package named after the type it creates -->
<!-- ====================================================================== -->
<target name="jar" depends="package" description="Builds the jar for the application"/>
</project>
