build.xml revision 4ffc423a7df8af7e7d7e563a15471da4505ddeb5
<project default="install">
<property name="libdir" value="/lib"/>
<property name="builddir" value="build"/>
<property name="classesdir" value="${builddir}/classes"/>
<property name="target-vm" value="1.6"/>
<property environment="env"/>
<path id="classpath">
<fileset dir="${libdir}">
<include name="*.jar"/>
</fileset>
</path>
<target name="clean">
<delete dir="${builddir}"/>
</target>
<target name="compile">
<mkdir dir="${classesdir}/locality"/>
<javac srcdir="./" destdir="${classesdir}/locality" debug="on" target="${target-vm}" nowarn="off" source="1.6">
<classpath refid="classpath"/>
<include name="de/unibremen/informatik/locality/*.java"/>
</javac>
<mkdir dir="${classesdir}"/>
<javac srcdir="./" destdir="${classesdir}" debug="on" target="${target-vm}" nowarn="off" source="1.6">
<classpath refid="classpath"/>
<include name="de/unibremen/informatik/*.java"/>
</javac>
</target>
<target name="install" depends="clean,jar,copy-libs,fact,fact-prover">
<copy file="${builddir}/OWL2Parser.jar" todir="../"/>
<copy file="${builddir}/OWLLocality.jar" todir="../"/>
</target>
<target name="fact">
<mkdir dir="${classesdir}/Fact"/>
<mkdir dir="/lib/native/i686"/>
<mkdir dir="/lib/native/x86_64"/>
<get src="https://bitbucket.org/dtsarkov/factplusplus/downloads/uk.ac.manchester.cs.owl.factplusplus-P5.0-v1.6.3.1.jar" dest="${libdir}/uk.ac.manchester.cs.owl.factplusplus-P5.0-v1.6.3.1.jar"/>
<javac srcdir="./" destdir="${classesdir}/Fact" debug="on" target="${target-vm}" nowarn="off" source="1.6">
<classpath refid="classpath"/>
<include name="de/unibremen/informatik/Fact/*.java"/>
</javac>
<jar basedir="${classesdir}/Fact" destfile="${builddir}/OWLFact.jar">
<manifest>
<attribute name="Title" value="OWL Fact"/>
<attribute name="Built-By" value="${user.name}"/>
<attribute name="Main-Class" value="de.unibremen.informatik.Fact.Fact"/>
<attribute name="Class-Path" value="lib/owlapi-osgidistribution-3.5.1.jar lib/uk.ac.manchester.cs.owl.factplusplus-P5.0-v1.6.3.1.jar"/>
</manifest>
</jar>
<copy file="${builddir}/OWLFact.jar" todir="../"/>
<copy file="lib/native/i686/libFaCTPlusPlusJNI.so" todir="/lib/native/i686/"/>
<copy file="lib/native/x86_64/libFaCTPlusPlusJNI.so" todir="/lib/native/x86_64/"/>
<copy file="${libdir}/FaCTpp-OWLAPI-3.4-v1.6.1.jar" todir="/lib/"/>
</target>
<target name="fact-prover">
<mkdir dir="${classesdir}/FactProver"/>
<mkdir dir="/lib/native/i686"/>
<mkdir dir="/lib/native/x86_64"/>
<get src="https://bitbucket.org/dtsarkov/factplusplus/downloads/uk.ac.manchester.cs.owl.factplusplus-P5.0-v1.6.3.1.jar" dest="${libdir}/uk.ac.manchester.cs.owl.factplusplus-P5.0-v1.6.3.1.jar"/>
<javac srcdir="./" destdir="${classesdir}/FactProver" debug="on" target="${target-vm}" nowarn="off" source="1.6">
<classpath refid="classpath"/>
<include name="de/unibremen/informatik/FactProver/*.java"/>
</javac>
<jar basedir="${classesdir}/FactProver" destfile="${builddir}/OWLFactProver.jar">
<manifest>
<attribute name="Title" value="OWL Fact Prover"/>
<attribute name="Built-By" value="${user.name}"/>
<attribute name="Main-Class" value="de.unibremen.informatik.FactProver.Prove"/>
<attribute name="Class-Path" value="lib/owlapi-osgidistribution-3.5.1.jar lib/uk.ac.manchester.cs.owl.factplusplus-P5.0-v1.6.3.1.jar"/>
</manifest>
</jar>
<copy file="${builddir}/OWLFactProver.jar" todir="../"/>
<copy file="lib/native/i686/libFaCTPlusPlusJNI.so" todir="/lib/native/i686/"/>
<copy file="lib/native/x86_64/libFaCTPlusPlusJNI.so" todir="/lib/native/x86_64/"/>
<copy file="${libdir}/FaCTpp-OWLAPI-3.4-v1.6.1.jar" todir="/lib/"/>
</target>
<target name="java-files" depends="install"/>
<target name="java-libs" depends="copy-libs"/>
<target name="jar" depends="compile">
<jar basedir="${classesdir}/locality" destfile="${builddir}/OWLLocality.jar">
<manifest>
<attribute name="Title" value="OWL Locality Checker"/>
<attribute name="Built-By" value="${user.name}"/>
<attribute name="Main-Class" value="de.unibremen.informatik.locality.LocalityChecker"/>
<attribute name="Class-Path" value="lib/owlapi-osgidistribution-3.5.1.jar"/>
</manifest>
</jar>
<jar basedir="${classesdir}" destfile="${builddir}/OWL2Parser.jar">
<manifest>
<attribute name="Title" value="OWL2 MNO Parser"/>
<attribute name="Built-By" value="${user.name}"/>
<attribute name="Main-Class" value="OWL2Parser"/>
<attribute name="Class-Path" value="lib/owlapi-osgidistribution-3.5.1.jar"/>
</manifest>
</jar>
</target>
<target name="copy-libs">
<mkdir dir="/lib"/>
<copy file="${libdir}/owlapi-osgidistribution-3.5.1.jar" todir="/lib/"/>
</target>
</project>