Property | Optional? | Description |
---|---|---|
maven.eclipseplugin.dist.withSources | Yes |
Build the Eclipse plugin with sources. Default value is
|
maven.eclipseplugin.dist.dir | Yes |
Default value is
|
maven.eclipseplugin.dist.bin.dir | Yes |
Default value is
|
maven.eclipseplugin.dist.version | Yes |
The Eclipse plugin version. Default value is
|
maven.eclipseplugin.dist.title | Yes |
The Eclipse plugin distribution title which is used for the folder or ZIP file. Default value is
|
maven.eclipseplugin.dist.deploy.dir | No |
The full absolute path to the Eclipse installation directory (root directory of 'eclipse' folder). |