[isabelle-dev] build -x not working anymore
makarius at sketis.net
Sun Nov 5 17:11:39 CET 2017
On 03/11/17 18:43, Fabio Madge Pimentel wrote:
> Building all of Isabelle including the AFP doesn’t work anymore. This can be reproduced with the latest development versions, as well as the tagged Isabelle2017 versions.
> ./isabelle build -ad ~/afp-devel/thys/ -x HOL
For clarity a problem report should always include some error output.
For Isabelle2017 and the above invocation that is:
The option -d ~/afp-devel/thys/ is actually irrelevant here. The problem
is about unusual situations of option -x and -X.
I have now produced the following change
date: Sun Nov 05 16:57:03 2017 +0100
files: src/Pure/General/graph.scala src/Pure/Thy/sessions.scala
uniform graph restriction: build_graph is more sparse than imports_graph
and may yield different results for exclude_session_groups /
exclude_sessions (e.g. "isabelle build -a -X main");
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 819 bytes
Desc: OpenPGP digital signature
More information about the isabelle-dev