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

[Clemens Ballarin]

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 
<afp-devel>/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 
large sessions but then some magic seems to defeat that and builds are 
still for x86-darwin.

Clemens