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/ 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

Reply via email to