diff options
author | Karl Berry <karl@freefriends.org> | 2008-09-20 23:48:30 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-09-20 23:48:30 +0000 |
commit | 5dc173537c1bc9fd033d1c6b3498e847d3a6d38a (patch) | |
tree | 896be0734f25575e9ac83417976c9d268a64b981 /Master/texmf-dist/source/latex/pax/build.xml | |
parent | 4b95f16c338118ec28786de9563f1361d9b42989 (diff) |
pax aka pdfannotextractor
git-svn-id: svn://tug.org/texlive/trunk@10666 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/source/latex/pax/build.xml')
-rw-r--r-- | Master/texmf-dist/source/latex/pax/build.xml | 49 |
1 files changed, 49 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/pax/build.xml b/Master/texmf-dist/source/latex/pax/build.xml new file mode 100644 index 00000000000..230cd3e59d6 --- /dev/null +++ b/Master/texmf-dist/source/latex/pax/build.xml @@ -0,0 +1,49 @@ +<?xml version="1.0" encoding="us-ascii"?> +<project name="pax" default="dist" basedir="."> + <description> + Build file for PDFAnnotExtractor + </description> + + <property name="src" location="src"/> + <property name="build" location="build"/> + <property name="dist" location="."/> + <property name="pdfbox.home" location="${basedir}"/> <!-- or somewhere else --> + <property name="pdfbox.name" value="PDFBox-0.7.2.jar"/> + + <target name="init"> + <mkdir dir="${build}"/> + </target> + + <target name="compile" + depends="init" + description="compile the source" + > + <javac srcdir="${src}" destdir="${build}" target="1.4" source="1.4"> + <classpath> + <!-- try with and without subdirectory `lib' --> + <pathelement location="${pdfbox.home}/lib/${pdfbox.name}"/> + <pathelement location="${pdfbox.home}/${pdfbox.name}"/> + </classpath> + </javac> + </target> + + <target name="dist" + depends="compile" + description="generate the distribution" + > + <mkdir dir="${dist}"/> + <jar jarfile="${dist}/${ant.project.name}.jar" + manifest="${src}/MANIFEST.MF" + basedir="${build}" + includes="pax/**" + /> + </target> + + <target name="clean" + description="clean up" + > + <delete dir="${build}"/> + <delete file="${dist}/${ant.project.name}.jar"/> + </target> + +</project> |