diff options
| author | Quentin Aristote <quentin@aristote.fr> | 2021-12-06 22:29:51 +0100 |
|---|---|---|
| committer | Quentin Aristote <quentin@aristote.fr> | 2021-12-06 22:29:51 +0100 |
| commit | 8ec92ace4b82fdb31eda84b095d414ae5aed84c7 (patch) | |
| tree | 931ac2db9cbe09a872644dfc484f208aa5bcd66b /README.org | |
| parent | 70145c342da927add3d42b2e477008b9bd765a0a (diff) | |
finish why3 module creation
- provers are added as packages in the provers option
- a local package builds why3.conf by detecting the provers provided in the
provers option and appending the extra configuration
- why3 is aliased to load that why3.conf file
Diffstat (limited to 'README.org')
0 files changed, 0 insertions, 0 deletions