| Type | Name and description |
|---|---|
java.lang.Object |
configurationOfToolMaps the tool real name (e.g. |
java.io.File |
extractDirDirectory to extract the local extools for use |
java.io.File |
localCacheDirectory to store the downloaded extools archive to |
java.net.URL |
remoteRepositoryUrl |
java.lang.Object |
toolsAll extools used, as map of aliases to real names |
| Methods inherited from class | Name |
|---|---|
class java.lang.Object |
java.lang.Object#wait(long, int), java.lang.Object#wait(long), java.lang.Object#wait(), java.lang.Object#equals(java.lang.Object), java.lang.Object#toString(), java.lang.Object#hashCode(), java.lang.Object#getClass(), java.lang.Object#notify(), java.lang.Object#notifyAll() |
Maps the tool real name (e.g. "mingw-gcc-win32-v7.2.1") to the corresponding ExtoolConfiguration
Directory to extract the local extools for use
Directory to store the downloaded extools archive to
All extools used, as map of aliases to real names For instance: "gcc": "mingw-gcc-win32-v7.2.1"