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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Reply via email to