| 8 |
|
|
| 9 |
|
User-specific settings are read from user.properties. |
| 10 |
|
See user.properties.sample for an explanation of some useful settings. |
| 11 |
+ |
|
| 12 |
+ |
The repository contains all dependencies except for ant and the JDK |
| 13 |
+ |
itself. Because the JDK version matters and because different |
| 14 |
+ |
targets require different JDKs, we assume that users have created a |
| 15 |
+ |
hierarchy containing: |
| 16 |
+ |
$HOME/jdk/jdk6 |
| 17 |
+ |
$HOME/jdk/jdk7 |
| 18 |
+ |
$HOME/jdk/jdk8 |
| 19 |
+ |
where each of the above is a JDK or a symlink to same. |
| 20 |
|
------------------------------------------------------------------------------ |
| 21 |
|
</description> |
| 22 |
|
|
