Re: [isabelle-dev] Up-to-date instructions for 'isabelle afp_build -A'

Good points. I’ve added the slow/very_slow and x64 hints to the documentation now. Cheers, Gerwin > On 15.01.2018, at 07:38, Makarius wrote: > > On 14/01/18 12:42, Clemens Ballarin wrote: >> Dear Maintainers of Isabelle / the AFP, >> >> Where would I find instructions on

Re: [isabelle-dev] Up-to-date instructions for 'isabelle afp_build -A'

On 14/01/18 12:42, Clemens Ballarin wrote: > Dear Maintainers of Isabelle / the AFP, > > Where would I find instructions on actually getting 'isabelle afp_build > -A' to run through?  I was hoping to find that in > /doc/regression-test.md but that merely states the command. My command-line

[isabelle-dev] Up-to-date instructions for 'isabelle afp_build -A'

Dear Maintainers of Isabelle / the AFP, Where would I find instructions on actually getting 'isabelle afp_build -A' to run through? I was hoping to find that in /doc/regression-test.md but that merely states the command. It appears that I would need to set ML_PLATFORM=x86_64-darwin for the