lexbailey/Build Isabelle Theory
Build an Isabelle theory file. (In theory. In practice this falls over all the time because isabelle's release process is awful and it's impossible to make this work reliably and into the future.
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| isabelle-url | The isabelle release process is terrible. Sorry, let me start over. Please provide the url you want to use for the exact zip file for the linux version of isabelle. | yes | — |
| custom-isabelle-url | deprecated. this is ignored | — | "" |
| theory-root | Path to the root of the theory. This defaults to the root of the repository. | — | "" |
| session-name | The session name to build (with isabelle build -b session-name). This defaults to the name of the repository. You can also list multiple sessions, separated by whitespace. | — | "" |
| depends | A whitespace-separated list of other repositories containing sessions that are required to build the session in the current repository. Use url@ref syntax to specify a git ref. | — | "" |
| report_url | Url to submit a build report to (using a very specific protocol that I wont document here) leave unset unless you are specifically me | — | "" |
| report_secret | Secret to go along with report_url, again this is undocumented | — | "" |
| doc_dir | Directory to put documentation for build (with -P option to build) | — | "" |
Outputs
no outputs