|
Last change
on this file since 31818 was 31783, checked in by floscher, 9 years ago |
|
[mapillary] Move plugin-properties to a single file
To avoid having two places for setting project-wide properties, these are now set in the new file gradle.properties and picked up both by Ant and Gradle.
|
|
File size:
620 bytes
|
| Rev | Line | |
|---|
| [31783] | 1 | <?xml version="1.0" encoding="utf-8"?>
|
|---|
| 2 | <project name="Mapillary" default="dist" basedir=".">
|
|---|
| 3 |
|
|---|
| 4 | <!-- edit the properties of this plugin in the file `gradle.properties` -->
|
|---|
| 5 | <property file="${basedir}/gradle.properties"/>
|
|---|
| 6 |
|
|---|
| 7 | <property name="josm" location="../../core/dist/josm-custom.jar"/>
|
|---|
| 8 | <property name="plugin.dist.dir" value="../../dist"/>
|
|---|
| 9 |
|
|---|
| 10 | <!-- ** include targets that all plugins have in common ** -->
|
|---|
| 11 | <import file="../build-common.xml"/>
|
|---|
| 12 |
|
|---|
| 13 | <fileset id="plugin.requires.jars" dir="${plugin.dist.dir}">
|
|---|
| 14 | <include name="apache-commons.jar"/>
|
|---|
| 15 | <include name="apache-http.jar"/>
|
|---|
| 16 | </fileset>
|
|---|
| 17 | </project>
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
