Re: [isabelle-dev] build -x not working anymore

2017-11-05 Thread Makarius
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

Re: [isabelle-dev] build -x not working anymore

2017-11-03 Thread Makarius
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 pur

[isabelle-dev] build -x not working anymore

2017-11-03 Thread Fabio Madge Pimentel
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 Fabio signature.asc Description: Message signed with OpenPGP ___