build.xml revision a1aa45b85afad61755457312ef2f30f004c43cb2
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maeder<project default="install">
e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens Elkner
aef82b7f1af220ffd131169e5105ed392e8ff815Christian Maeder <property name="libdir" value="/lib"/>
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maeder <property name="builddir" value="build"/>
98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu Prodescu <property name="classesdir" value="${builddir}/classes"/>
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maeder <property name="target-vm" value="1.5"/>
cfbd735270fe52115cef0508d265785efcb99cd7Christian Maeder <property environment="env"/>
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maeder
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maeder <path id="classpath">
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maeder <fileset dir="${libdir}">
aef82b7f1af220ffd131169e5105ed392e8ff815Christian Maeder <include name="*.jar"/>
aef82b7f1af220ffd131169e5105ed392e8ff815Christian Maeder </fileset>
aef82b7f1af220ffd131169e5105ed392e8ff815Christian Maeder </path>
2b4c6a6c2a174c9be2a5be0eee9d2dab0753e27bChristian Maeder
2b4c6a6c2a174c9be2a5be0eee9d2dab0753e27bChristian Maeder <target name="clean">
2b4c6a6c2a174c9be2a5be0eee9d2dab0753e27bChristian Maeder <delete dir="${builddir}"/>
2b4c6a6c2a174c9be2a5be0eee9d2dab0753e27bChristian Maeder </target>
2b4c6a6c2a174c9be2a5be0eee9d2dab0753e27bChristian Maeder
2b4c6a6c2a174c9be2a5be0eee9d2dab0753e27bChristian Maeder <target name="compile" depends="owl-api">
2b4c6a6c2a174c9be2a5be0eee9d2dab0753e27bChristian Maeder <mkdir dir="${classesdir}/locality"/>
2b4c6a6c2a174c9be2a5be0eee9d2dab0753e27bChristian Maeder <javac srcdir="./" destdir="${classesdir}/locality" debug="on" target="${target-vm}" nowarn="off" source="1.5">
2b4c6a6c2a174c9be2a5be0eee9d2dab0753e27bChristian Maeder <classpath refid="classpath"/>
2b4c6a6c2a174c9be2a5be0eee9d2dab0753e27bChristian Maeder <include name="de/unibremen/informatik/locality/*.java"/>
aef82b7f1af220ffd131169e5105ed392e8ff815Christian Maeder </javac>
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maeder <mkdir dir="${classesdir}"/>
aef82b7f1af220ffd131169e5105ed392e8ff815Christian Maeder <javac srcdir="./" destdir="${classesdir}" debug="on" target="${target-vm}" nowarn="off" source="1.5">
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maeder <classpath refid="classpath"/>
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maeder <include name="de/unibremen/informatik/*.java"/>
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maeder </javac>
aef6d16a74ecad9ac265a0deace480c2767e1667Christian Maeder </target>
aef6d16a74ecad9ac265a0deace480c2767e1667Christian Maeder
aef6d16a74ecad9ac265a0deace480c2767e1667Christian Maeder <target name="install" depends="clean,jar,copy-libs,fact,fact-prover">
cea7f2c7e01c23cb9f9547e69faa7ad1fc2718e7Christian Maeder <copy file="${builddir}/OWL2Parser.jar" todir="../"/>
cea7f2c7e01c23cb9f9547e69faa7ad1fc2718e7Christian Maeder <copy file="${builddir}/OWLLocality.jar" todir="../"/>
aef6d16a74ecad9ac265a0deace480c2767e1667Christian Maeder </target>
aef6d16a74ecad9ac265a0deace480c2767e1667Christian Maeder
aef6d16a74ecad9ac265a0deace480c2767e1667Christian Maeder <target name="fact">
aef6d16a74ecad9ac265a0deace480c2767e1667Christian Maeder <mkdir dir="${classesdir}/Fact"/>
aef6d16a74ecad9ac265a0deace480c2767e1667Christian Maeder <mkdir dir="/lib/native/i686"/>
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maeder <mkdir dir="/lib/native/x86_64"/>
ad270004874ce1d0697fb30d7309f180553bb315Christian Maeder <get src="http://factplusplus.googlecode.com/files/FaCTpp-OWLAPI-3.2-v1.5.2.jar" dest="${libdir}/FaCTpp-OWLAPI-3.2-v1.5.2.jar"/>
aeed42be8de5613d67545e32314abbe520ead913Christian Maeder <javac srcdir="./" destdir="${classesdir}/Fact" debug="on" target="${target-vm}" nowarn="off" source="1.5">
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maeder <classpath refid="classpath"/>
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maeder <include name="de/unibremen/informatik/Fact/*.java"/>
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maeder </javac>
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maeder <jar basedir="${classesdir}/Fact" destfile="${builddir}/OWLFact.jar">
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maeder <manifest>
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maeder <attribute name="Title" value="OWL Fact"/>
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maeder <attribute name="Built-By" value="${user.name}"/>
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maeder <attribute name="Main-Class" value="de.unibremen.informatik.Fact.Fact"/>
77eaadf26141d2422918bf53f39d3804e9739c8fChristian Maeder <attribute name="Class-Path" value="lib/owl2api-bin.jar lib/FaCTpp-OWLAPI-3.2-v1.5.2.jar"/>
77eaadf26141d2422918bf53f39d3804e9739c8fChristian Maeder </manifest>
aeed42be8de5613d67545e32314abbe520ead913Christian Maeder </jar>
aeed42be8de5613d67545e32314abbe520ead913Christian Maeder <copy file="${builddir}/OWLFact.jar" todir="../"/>
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder <copy file="lib/native/i686/libFaCTPlusPlusJNI.so" todir="/lib/native/i686/"/>
b384b4352b101dce5e1acfe327a7dbb5bff5093fJian Chun Wang <copy file="lib/native/x86_64/libFaCTPlusPlusJNI.so" todir="/lib/native/x86_64/"/>
77eaadf26141d2422918bf53f39d3804e9739c8fChristian Maeder <copy file="${libdir}/FaCTpp-OWLAPI-3.2-v1.5.2.jar" todir="/lib/"/>
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maeder <copy file="lib/native/x86_64/FaCT++" todir="/lib/native/x86_64/"/>
1fc21a729446a8ec43a6090e96c4d518d8f03bd8Jian Chun Wang <copy file="lib/native/i686/FaCT++" todir="/lib/native/i686/"/>
aeed42be8de5613d67545e32314abbe520ead913Christian Maeder </target>
3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder
b384b4352b101dce5e1acfe327a7dbb5bff5093fJian Chun Wang <target name="fact-prover">
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maeder <mkdir dir="${classesdir}/FactProver"/>
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maeder <mkdir dir="/lib/native/i686"/>
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maeder <mkdir dir="/lib/native/x86_64"/>
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maeder <get src="http://factplusplus.googlecode.com/files/FaCTpp-OWLAPI-3.2-v1.5.2.jar" dest="${libdir}/FaCTpp-OWLAPI-3.2-v1.5.2.jar"/>
77eaadf26141d2422918bf53f39d3804e9739c8fChristian Maeder <javac srcdir="./" destdir="${classesdir}/FactProver" debug="on" target="${target-vm}" nowarn="off" source="1.5">
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maeder <classpath refid="classpath"/>
b384b4352b101dce5e1acfe327a7dbb5bff5093fJian Chun Wang <include name="de/unibremen/informatik/FactProver/*.java"/>
d985f0ba77524e35714ce1ad316df07d238c1223Jian Chun Wang </javac>
9175e29c044318498a40f323f189f9dfd50378efChristian Maeder <jar basedir="${classesdir}/FactProver" destfile="${builddir}/OWLFactProver.jar">
aeed42be8de5613d67545e32314abbe520ead913Christian Maeder <manifest>
9175e29c044318498a40f323f189f9dfd50378efChristian Maeder <attribute name="Title" value="OWL Fact Prover"/>
9175e29c044318498a40f323f189f9dfd50378efChristian Maeder <attribute name="Built-By" value="${user.name}"/>
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maeder <attribute name="Main-Class" value="de.unibremen.informatik.FactProver.Prove"/>
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maeder <attribute name="Class-Path" value="lib/owl2api-bin.jar lib/FaCTpp-OWLAPI-3.2-v1.5.2.jar"/>
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maeder </manifest>
d985f0ba77524e35714ce1ad316df07d238c1223Jian Chun Wang </jar>
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maeder <copy file="${builddir}/OWLFactProver.jar" todir="../"/>
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maeder <copy file="lib/native/i686/libFaCTPlusPlusJNI.so" todir="/lib/native/i686/"/>
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maeder <copy file="lib/native/x86_64/libFaCTPlusPlusJNI.so" todir="/lib/native/x86_64/"/>
d985f0ba77524e35714ce1ad316df07d238c1223Jian Chun Wang <copy file="${libdir}/FaCTpp-OWLAPI-3.2-v1.5.2.jar" todir="/lib/"/>
cea7f2c7e01c23cb9f9547e69faa7ad1fc2718e7Christian Maeder </target>
aeed42be8de5613d67545e32314abbe520ead913Christian Maeder
aeed42be8de5613d67545e32314abbe520ead913Christian Maeder
cea7f2c7e01c23cb9f9547e69faa7ad1fc2718e7Christian Maeder <target name="jar" depends="compile">
9175e29c044318498a40f323f189f9dfd50378efChristian Maeder <jar basedir="${classesdir}/locality" destfile="${builddir}/OWLLocality.jar">
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maeder <manifest>
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maeder <attribute name="Title" value="OWL Locality Checker"/>
b384b4352b101dce5e1acfe327a7dbb5bff5093fJian Chun Wang <attribute name="Built-By" value="${user.name}"/>
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maeder <attribute name="Main-Class" value="de.unibremen.informatik.locality.LocalityChecker"/>
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maeder <attribute name="Class-Path" value="lib/owl2api-bin.jar"/>
ee2453ba80afe7c495043bd20f44f656e4d55dd1Christian Maeder </manifest>
aeed42be8de5613d67545e32314abbe520ead913Christian Maeder </jar>
aeed42be8de5613d67545e32314abbe520ead913Christian Maeder <jar basedir="${classesdir}" destfile="${builddir}/OWL2Parser.jar">
cea7f2c7e01c23cb9f9547e69faa7ad1fc2718e7Christian Maeder <manifest>
aeed42be8de5613d67545e32314abbe520ead913Christian Maeder <attribute name="Title" value="OWL2 MNO Parser"/>
aeed42be8de5613d67545e32314abbe520ead913Christian Maeder <attribute name="Built-By" value="${user.name}"/>
b384b4352b101dce5e1acfe327a7dbb5bff5093fJian Chun Wang <attribute name="Main-Class" value="OWL2Parser"/>
a4f3fd76cf6eade5df3fa296e12a48feccd4e770Jian Chun Wang <attribute name="Class-Path" value="lib/owl2api-bin.jar"/>
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maeder </manifest>
9175e29c044318498a40f323f189f9dfd50378efChristian Maeder </jar>
77eaadf26141d2422918bf53f39d3804e9739c8fChristian Maeder </target>
cea7f2c7e01c23cb9f9547e69faa7ad1fc2718e7Christian Maeder
aeed42be8de5613d67545e32314abbe520ead913Christian Maeder <target name="owl-api">
5f18239af2e6030cd727648b845ebd03beef5c60Christian Maeder <ant antfile="build.xml" dir="/OwlApi/antbuild/" target="binjar" inheritAll="false"/>
5f18239af2e6030cd727648b845ebd03beef5c60Christian Maeder <copy file="/OwlApi/antbuild/build/owlapi-bin.jar" tofile="${libdir}/owl2api-bin.jar"/>
aeed42be8de5613d67545e32314abbe520ead913Christian Maeder </target>
aeed42be8de5613d67545e32314abbe520ead913Christian Maeder
5f18239af2e6030cd727648b845ebd03beef5c60Christian Maeder <target name="copy-libs">
5f18239af2e6030cd727648b845ebd03beef5c60Christian Maeder <mkdir dir="/lib"/>
5f18239af2e6030cd727648b845ebd03beef5c60Christian Maeder <copy file="${libdir}/owl2api-bin.jar" todir="/lib/"/>
5f18239af2e6030cd727648b845ebd03beef5c60Christian Maeder </target>
5f18239af2e6030cd727648b845ebd03beef5c60Christian Maeder</project>
5f18239af2e6030cd727648b845ebd03beef5c60Christian Maeder