[isabelle-dev] Up-to-date instructions for 'isabelle afp_build -A'
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