[isabelle-dev] build -x not working anymore

Makarius makarius at sketis.net
Fri Nov 3 19:56:26 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

What is the purpose of option -x HOL here?

BTW, the normal place to discuss observations about Isabelle is the
isabelle-users mailing list.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20171103/4a45b0c3/attachment.sig>

More information about the isabelle-dev mailing list