location="${aj.build.dir}/webDeploy"/>
<property name="aj.plugin.org.aspectj.ajde.dir"
location="${aj.dist.dir}/ide/eclipse/org.aspectj.ajde"/>
+ <property name="aj.plugin.org.aspectj.aspectjrt.dir"
+ location="${aj.dist.dir}/ide/eclipse/org.aspectj.aspectjrt"/>
<property name="aj.plugin.org.aspectj.ajde.source.dir"
location="${aj.dist.dir}/ide/eclipse/org.aspectj.ajde.source"/>
<property name="aj.plugin.org.aspectj.ajde.doc.dir"
<!-- ========================================================================= -->
<!DOCTYPE project [
-<!ENTITY build-properties SYSTEM "file:build-properties.xml">
+<!ENTITY build-properties SYSTEM "build-properties.xml">
]>
<project name="build" default="all" basedir=".">
<target name="eclipse.plugins" depends="org.aspectj.ajde.source,
org.aspectj.ajde.doc,
- org.aspectj.ajde"
+ org.aspectj.ajde,
+ org.aspectj.aspectjrt"
description="create the Eclipse distribution plugins"/>
<target name="org.aspectj.ajde.source" depends="init"
</jar>
</target>
+ <target name="org.aspectj.aspectjrt" depends="init,aspectj"
+ description="build the AspectJ runtime library plugin for Eclipse">
+ <copy todir="${aj.plugin.org.aspectj.aspectjrt.dir}">
+ <fileset dir="${aspectj.modules.dir}/eclipse.plugin/org.aspectj.aspectjrt"/>
+ </copy>
+ <replace file="${aj.plugin.org.aspectj.aspectjrt.dir}/plugin.xml"
+ token="build.version.eclipse.plugins"
+ value="${build.version.eclipse.plugins}"/>
+ <copy file="${aj.dist.dir}/tools/lib/aspectjrt.jar"
+ todir="${aj.plugin.org.aspectj.aspectjrt.dir}"/>
+ <jar destfile="${aj.plugin.org.aspectj.aspectjrt.dir}/../org.aspectj.aspectjrt_${build.version.eclipse.plugins}.jar">
+ <fileset dir="${aj.plugin.org.aspectj.aspectjrt.dir}" includes="**"/>
+ </jar>
+ </target>
+
</project>