build.xml

<project name="Vimulator" default="dist" basedir=".">

	<property name="src.dir" value="."/>
	<property name="build.dir" value="build"/>
    <!-- can be bent to point at the Plugin jars directory instead -->
	<!--<property name="install.dir"  value="/home/niels/.isabelle/Isabelle2021/jedit/jars/"/>-->
	<property name="install.dir"  value="install"/>

    <!-- Replace this with the actual path, this is the installation path for the apt install -->
	<property name="jedit.install.dir"  value="/usr/share/jEdit"/>


	<path id="project.class.path">
		<pathelement location="${jedit.install.dir}/jedit.jar"/>
	</path>


	<target name="init">
		<mkdir dir="${build.dir}"/>
		<mkdir dir="${src.dir}"/>
	</target>


	<target name="compile" depends="init">
		<javac
			srcdir="${src.dir}"
			destdir="${build.dir}"
			debug="on"
			deprecation="on"
			includeJavaRuntime="yes"
            excludes="bin/**"
		>
			<classpath refid="project.class.path"/>
		</javac>
	</target>


	<target name="dist" depends="compile">
		<mkdir dir="${install.dir}"/>
		<jar jarfile="${install.dir}/Vimulator.jar">
			<fileset dir="${build.dir}"/>
			<fileset dir="${src.dir}">
				<include name="actions.xml"/>
				<include name="**/*.props"/>
                <exclude name="bin/**"/>
			</fileset>
		</jar>
	</target>

	<target name="clean">
		<delete dir="${build.dir}"/>
		<delete>
			<fileset dir="." includes="**/*~" defaultexcludes="no"/>
			<fileset dir="." includes="**/*.class"/>
		</delete>
	</target>

</project>