113 lines
10 KiB
XML
113 lines
10 KiB
XML
<?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>
|