Skip to content

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.

License

Notifications You must be signed in to change notification settings

Mansour-J/WhileyWeb

 
 

Repository files navigation

WhileyWeb

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.

Dependencies

WhileyWeb requires the following Python libraries to be installed and available:

Setup

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.

About

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.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • CSS 41.9%
  • HTML 29.6%
  • JavaScript 15.6%
  • Python 12.9%