#
33e6400f |
|
26-Mar-2020 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
aspec: include doc build in ASpec again Isabelle2020 doesn't allow sharing session directories between the document session and non-document session. Instead of duplicating things, this commit pulls the document build back into the ASpec session, but changes the build such that the git revision is read directly from LaTeX, removing the superfluous re-build for every git revision change (even when no relevant spec file changed). Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
|
#
a424d55e |
|
09-Mar-2020 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
licenses: convert license tags to SPDX
|
#
3abbdd74 |
|
18-Feb-2018 |
Matthew Brecknell <Matthew.Brecknell@data61.csiro.au> |
aspec: reintroduce spec document version information Including version information in the spec document is tricky, because Isabelle will rebuild the session whenever it sees that session inputs (including document sources) have changed. Since ASpec is close to the root of our session hierarchy, frequently changing version information causes excessive rebuilds during development. This commit avoids excessive rebuilding by building the document (with version information) in a separate ASpecDoc session. The ASpecDoc session is identical to the previous version of the ASpec session, but is not the parent of any other sessions. The ASpec session is used as the basis for other sessions, but has document-only inputs removed, and also has document builds disabled.
|
#
0b2cb85b |
|
15-Feb-2018 |
Matthew Brecknell <Matthew.Brecknell@data61.csiro.au> |
aspec: remove ARCH and git-id from specification document This partially reverts a recent change which adds these. Unfortunately, including the ARCH and git-id files in the ROOT file causes frequent rebuilds during development. For example, adding a commit that changes only CRefine would cause a change in the git-id file, which would in turn trigger a rebuild of ASpec and everything that depends on it. Because the git-id file also noted uncommitted changes, these would also trigger an ASpec rebuild. Similarly, switching to a different L4V_ARCH would cause the ARCH file to change, also triggering an ASpec rebuild. Since Isabelle makes it difficult to include this information in the document without adding these files to the ROOT file, this commit is removing this information until we find a better way.
|
#
e6c65356 |
|
25-Jan-2018 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
abstract pdf: generate VERSION, ARCH, git-id information for PDF
|