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.
isabelle-dev mailing list