|
Last change
on this file since 5179 was 5153, checked in by joerg, 17 years ago |
|
josm/plugins/*build.xml: now we use the unique target dist for creating .jar files. Use a lot more variables to be able to move the build directory. destination directory for .jar files is now plugins/dist/*.jar. correcteed clean targets
|
|
File size:
1.2 KB
|
| Line | |
|---|
| 1 | <project name="plastic_laf" default="dist" basedir=".">
|
|---|
| 2 |
|
|---|
| 3 | <!-- compilation properties -->
|
|---|
| 4 | <property name="josm.build.dir" value="../../core"/>
|
|---|
| 5 | <property name="josm.home.dir" value="${user.home}/.josm"/>
|
|---|
| 6 | <property name="josm" location="../../core/dist/josm-custom.jar" />
|
|---|
| 7 | <property name="plugin.build.dir" value="build"/>
|
|---|
| 8 | <property name="plugin.dist.dir" value="../dist"/>
|
|---|
| 9 | <property name="plugin.name" value="${ant.project.name}"/>
|
|---|
| 10 | <property name="plugin.jar" value="../dist/${plugin.name}.jar"/>
|
|---|
| 11 |
|
|---|
| 12 | <target name="dist">
|
|---|
| 13 | <mkdir dir="dist"></mkdir>
|
|---|
| 14 | <unjar dest="${plugin.build.dir}" src="lib/looks-2.0.4.jar" />
|
|---|
| 15 | <javac srcdir="src" destdir="${plugin.build.dir}">
|
|---|
| 16 | <include name="**/*.java" />
|
|---|
| 17 | </javac>
|
|---|
| 18 | <jar destfile="${plugin.jar}" basedir="${plugin.build.dir}">
|
|---|
| 19 | <manifest>
|
|---|
| 20 | <attribute name="Plugin-Class" value="plastic_laf.Plugin" />
|
|---|
| 21 | <attribute name="Plugin-Description" value="The great JGoodies Plastic Look and Feel" />
|
|---|
| 22 | <attribute name="Plugin-Early" value="true" />
|
|---|
| 23 | </manifest>
|
|---|
| 24 | </jar>
|
|---|
| 25 | </target>
|
|---|
| 26 |
|
|---|
| 27 | <target name="clean">
|
|---|
| 28 | <delete dir="${plugin.build.dir}" />
|
|---|
| 29 | <delete file="${plugin.jar}" />
|
|---|
| 30 | </target>
|
|---|
| 31 |
|
|---|
| 32 | </project>
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
