A very simple web-interface for editing and compiling Whiley programs from a web-browser. Requires a dedicated server which receives AJAX requests, runs the Whiley Compiler, and returns the results.
WhileyWeb requires the following Python libraries to be installed and available:
WhileyWeb requires a configuration file called config.py
to run. Included in the repository is an example config file called example-config.py
which you can base your config file off.
All of the configuration options are mandatory as their are defaults built-in, but it is likely that you will need to change ROOT_URL
, and possible JAVA_CMD
. If you are running WhileyWeb as a CGI, then you will probably need to change HOME_DIR
as well.
You can also install WhileyWeb as a systemd
service. Have a look in doc/systemd
.