Setting up a Formal Development Environment¶
This is the recommended way to setup a development environment for developing Formal.
Here is a summary of the steps to your own development environment:
- Fork Formal (if you haven’t done so already)
- Clone your forked repository using Git
- Create a virtual environment
- Install formal
- Run tests
And you’re done!
The setup guide shall aid you in setting up a development environment for all purposes and facettes of Formal development. It is split up in a few parts and a common basic installation.
Get the sourcecode¶
After forking the repository, clone it to your local machine:
git clone firstname.lastname@example.org:yourgithubaccount/formal.git ~/src/formal
Setting up a basic development Instance¶
First install the management tool:
cd ~/src/formal python setup.py install
This installs basic dependencies and Formal itself.