Crate whiley

Modules

build

command

config

jvm

maven

package

platform

Functions

init_classpath

Initialise classpath for a given set of Maven dependencies. This means resolving those dependencies as necessary from Maven central.

init_logging

init_registry

Initialise the default platform registry. This basically provides a mechanism for creating platform instances and running them.

init_whileyhome

Initialise the home directory for this tool. This is where the package repository and the maven cache live, along with other configuration files as needed. This first checks whether or not the WHILEYHOME environment variable is specified, in which case it uses that.