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

Clemens Ballarin ballarin at in.tum.de
Sun Jan 14 12:42:07 CET 2018

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.


More information about the isabelle-dev mailing list