build.xml revision 3412f0946d79643403ad103fe88886afa04c0610
66267bcb678a9c341272c323b299337bcfdb7cc5Christian Maeder<project default="install">
e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens Elkner
81d182b21020b815887e9057959228546cf61b6bChristian Maeder <property name="libdir" value="/lib"/>
a39175891082dc8a598e5630e5558cb08b84ac0aChristian Maeder <property name="builddir" value="build"/>
98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu Prodescu <property name="classesdir" value="${builddir}/classes"/>
66267bcb678a9c341272c323b299337bcfdb7cc5Christian Maeder <property name="target-vm" value="1.5"/>
3f69b6948966979163bdfe8331c38833d5d90ecdChristian Maeder <property environment="env"/>
66267bcb678a9c341272c323b299337bcfdb7cc5Christian Maeder
ffd01020a4f35f434b912844ad6e0d6918fadffdChristian Maeder <path id="classpath">
66267bcb678a9c341272c323b299337bcfdb7cc5Christian Maeder <fileset dir="${libdir}">
66267bcb678a9c341272c323b299337bcfdb7cc5Christian Maeder <include name="*.jar"/>
fb69cd512eab767747f109e40322df7cae2f7bdfChristian Maeder </fileset>
fb69cd512eab767747f109e40322df7cae2f7bdfChristian Maeder </path>
5553cf7e344c2b385a72e1244b419e9986042b8eChristian Maeder
5553cf7e344c2b385a72e1244b419e9986042b8eChristian Maeder <target name="clean">
5553cf7e344c2b385a72e1244b419e9986042b8eChristian Maeder <delete dir="${builddir}"/>
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maeder </target>
964d1dce6aa88a14e240a4f2fb81c539d2f834fcChristian Maeder
964d1dce6aa88a14e240a4f2fb81c539d2f834fcChristian Maeder <target name="fact">
964d1dce6aa88a14e240a4f2fb81c539d2f834fcChristian Maeder <mkdir dir="${classesdir}/Fact"/>
964d1dce6aa88a14e240a4f2fb81c539d2f834fcChristian Maeder <mkdir dir="/lib/native/i686"/>
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maeder <mkdir dir="/lib/native/x86_64"/>
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maeder <get src="http://factplusplus.googlecode.com/files/FaCTpp-OWLAPI-v1.4.0.1.jar" dest="${libdir}/FaCTpp-OWLAPI-v1.4.0.1.jar"/>
5553cf7e344c2b385a72e1244b419e9986042b8eChristian Maeder <javac srcdir="./" destdir="${classesdir}/Fact" debug="on" target="${target-vm}" nowarn="off" source="1.5">
5553cf7e344c2b385a72e1244b419e9986042b8eChristian Maeder <classpath refid="classpath"/>
34b55522ba6fe2601e4ee37a9ba1fc4b1a0bf50bChristian Maeder <include name="de/unibremen/informatik/Fact/*.java"/>
34b55522ba6fe2601e4ee37a9ba1fc4b1a0bf50bChristian Maeder </javac>
964d1dce6aa88a14e240a4f2fb81c539d2f834fcChristian Maeder <jar basedir="${classesdir}/Fact" destfile="${builddir}/OWLFact.jar">
34b55522ba6fe2601e4ee37a9ba1fc4b1a0bf50bChristian Maeder <manifest>
fb69cd512eab767747f109e40322df7cae2f7bdfChristian Maeder <attribute name="Title" value="OWL Fact"/>
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian Maeder <attribute name="Built-By" value="${user.name}"/>
678e45c045799ce271c4719123ecd9cf4f456d4bChristian Maeder <attribute name="Main-Class" value="de.unibremen.informatik.Fact.Fact"/>
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian Maeder <attribute name="Class-Path" value="lib/owlapi-bin.jar lib/FaCTpp-OWLAPI-v1.4.0.1.jar"/>
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian Maeder </manifest>
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder </jar>
59c301c268f79cfde0a4c30a2c572a368db98da5Christian Maeder <copy file="${builddir}/OWLFact.jar" todir="../"/>
05e2a3161e4589a717c6fe5c7306820273a473c5Christian Maeder <copy file="lib/native/i686/libFaCTPlusPlusJNI.so" todir="/lib/native/i686/"/>
31a189d4cff554f78407cdc422480e84e99a6ec6Christian Maeder <copy file="lib/native/x86_64/libFaCTPlusPlusJNI.so" todir="/lib/native/x86_64/"/>
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder <copy file="${libdir}/FaCTpp-OWLAPI-v1.4.0.1.jar" todir="/lib/"/>
5d7e4bf173534e7eb3fc84dce7bb0151079d3f8aChristian Maeder </target>
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maeder
ad270004874ce1d0697fb30d7309f180553bb315Christian Maeder <target name="fact-prover">
ad270004874ce1d0697fb30d7309f180553bb315Christian Maeder <mkdir dir="${classesdir}/FactProver"/>
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian Maeder <mkdir dir="/lib/native/i686"/>
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maeder <mkdir dir="/lib/native/x86_64"/>
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder <get src="http://factplusplus.googlecode.com/files/FaCTpp-OWLAPI-v1.4.0.1.jar" dest="${libdir}/FaCTpp-OWLAPI-v1.4.0.1.jar"/>
f42bcc750a9a02cb4f753b70679f9aacf1b338d7Christian Maeder <javac srcdir="./" destdir="${classesdir}/FactProver" debug="on" target="${target-vm}" nowarn="off" source="1.5">
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder <classpath refid="classpath"/>
964d1dce6aa88a14e240a4f2fb81c539d2f834fcChristian Maeder <include name="de/unibremen/informatik/FactProver/*.java"/>
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder </javac>
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder <jar basedir="${classesdir}/FactProver" destfile="${builddir}/OWLFactProver.jar">
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder <manifest>
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder <attribute name="Title" value="OWL Fact Prover"/>
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder <attribute name="Built-By" value="${user.name}"/>
e7ce154edb906685b3fa7f6c0a764e18a4658068Christian Maeder <attribute name="Main-Class" value="de.unibremen.informatik.FactProver.Prove"/>
e7ce154edb906685b3fa7f6c0a764e18a4658068Christian Maeder <attribute name="Class-Path" value="lib/owlapi-bin.jar lib/FaCTpp-OWLAPI-v1.4.0.1.jar"/>
e7ce154edb906685b3fa7f6c0a764e18a4658068Christian Maeder </manifest>
6cb518d88084543c13aa7e56db767c14ee97ab77Christian Maeder </jar>
6cb518d88084543c13aa7e56db767c14ee97ab77Christian Maeder <copy file="${builddir}/OWLFactProver.jar" todir="../"/>
6cb518d88084543c13aa7e56db767c14ee97ab77Christian Maeder <copy file="lib/native/i686/libFaCTPlusPlusJNI.so" todir="/lib/native/i686/"/>
024621f43239cfe9629e35d35a8669fad7acbba2Christian Maeder <copy file="lib/native/x86_64/libFaCTPlusPlusJNI.so" todir="/lib/native/x86_64/"/>
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder <copy file="${libdir}/FaCTpp-OWLAPI-v1.4.0.1.jar" todir="/lib/"/>
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder </target>
36c6cc568751e4235502cfee00ba7b597dae78dcChristian Maeder
36c6cc568751e4235502cfee00ba7b597dae78dcChristian Maeder <target name="compile">
27912d626bf179b82fcb337077e5cd9653bb71cfChristian Maeder <mkdir dir="${classesdir}/locality"/>
e13ee09381f136f5eadaabdb9699773c0052cf3dChristian Maeder <javac srcdir="./" destdir="${classesdir}/locality" debug="on" target="${target-vm}" nowarn="off" source="1.5">
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder <classpath refid="classpath"/>
5c933f3c61d2cfa7e76e4eb610a4b0bac988be47Christian Maeder <include name="de/unibremen/informatik/locality/*.java"/>
5c933f3c61d2cfa7e76e4eb610a4b0bac988be47Christian Maeder </javac>
6cb518d88084543c13aa7e56db767c14ee97ab77Christian Maeder <mkdir dir="${classesdir}"/>
6cb518d88084543c13aa7e56db767c14ee97ab77Christian Maeder <javac srcdir="./" destdir="${classesdir}" debug="on" target="${target-vm}" nowarn="off" source="1.5">
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder <classpath refid="classpath"/>
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder <include name="de/unibremen/informatik/OWL2Parser.java"/>
f6fc70956d64365527d77a521a96f54a1cc18f91Christian Maeder </javac>
51c65d5fb2d720dc77bc5cca15640cfa09711986Christian Maeder </target>
946f62de1b188898dde0c472f2a8a6fb86f4d2f5Christian Maeder
51c65d5fb2d720dc77bc5cca15640cfa09711986Christian Maeder <target name="java-files" depends="install"/>
51c65d5fb2d720dc77bc5cca15640cfa09711986Christian Maeder <target name="java-libs" depends="owl-api"/>
51c65d5fb2d720dc77bc5cca15640cfa09711986Christian Maeder
f6fc70956d64365527d77a521a96f54a1cc18f91Christian Maeder <target name="install" depends="jar">
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder <copy file="${builddir}/OWLLocality.jar" todir="../"/>
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder <copy file="${builddir}/OWL2Parser.jar" todir="../"/>
946f62de1b188898dde0c472f2a8a6fb86f4d2f5Christian Maeder </target>
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder <target name="jar" depends="compile">
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder <jar basedir="${classesdir}/locality" destfile="${builddir}/OWLLocality.jar">
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder <manifest>
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder <attribute name="Title" value="OWL Locality Checker"/>
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder <attribute name="Built-By" value="${user.name}"/>
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder <attribute name="Main-Class" value="de.unibremen.informatik.locality.LocalityChecker"/>
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder <attribute name="Class-Path" value="lib/owlapi-bin.jar"/>
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder </manifest>
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder </jar>
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder <jar basedir="${classesdir}" destfile="${builddir}/OWL2Parser.jar">
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder <manifest>
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder <attribute name="Title" value="OWL OMN Renderer"/>
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder <attribute name="Built-By" value="${user.name}"/>
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maeder <attribute name="Main-Class" value="OWL2Parser"/>
678e45c045799ce271c4719123ecd9cf4f456d4bChristian Maeder <attribute name="Class-Path" value="java/lib/owlapi-bin.jar"/>
998747cb2ee575cccdd7d865c95d0ef07516a6a5Christian Maeder </manifest>
07e579405f31fff7f9315685661b5a87cb99c41bChristian Maeder </jar>
07e579405f31fff7f9315685661b5a87cb99c41bChristian Maeder </target>
07e579405f31fff7f9315685661b5a87cb99c41bChristian Maeder
07e579405f31fff7f9315685661b5a87cb99c41bChristian Maeder <target name="owl-api">
678e45c045799ce271c4719123ecd9cf4f456d4bChristian Maeder <ant antfile="build.xml" dir="/OwlApi/antbuild/" target="binjar" inheritAll="false"/>
678e45c045799ce271c4719123ecd9cf4f456d4bChristian Maeder <copy file="/OwlApi/antbuild/build/owlapi-bin.jar" todir="${libdir}"/>
678e45c045799ce271c4719123ecd9cf4f456d4bChristian Maeder </target>
6fe64923dcfd4b70bb863a56ad9ca2152faf8a0cChristian Maeder
6fe64923dcfd4b70bb863a56ad9ca2152faf8a0cChristian Maeder</project>
6fe64923dcfd4b70bb863a56ad9ca2152faf8a0cChristian Maeder