Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. support arm64-linux Poly/ML (slow bytecode interpreter only);
  2. purge arm64-linux --- no build_release support yet;
  3. more systematic platform support, including arm64-linux;
  4. tuned according to hints by IntelliJ IDEA;
Changeset 72354:2d36c214f7fd by wenzelm:
support arm64-linux Poly/ML (slow bytecode interpreter only);
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 72353:1e5516c55b46 by wenzelm:
purge arm64-linux --- no build_release support yet;
The file was modified src/Pure/Admin/components.scala (diff)
Changeset 72352:f4bd6f123fdf by wenzelm:
more systematic platform support, including arm64-linux;
The file was modified src/Pure/Admin/build_polyml.scala (diff)
The file was modified src/Pure/System/isabelle_platform.scala (diff)
Changeset 72351:68902f8a1ef0 by wenzelm:
tuned according to hints by IntelliJ IDEA;
The file was modified src/Pure/Admin/build_polyml.scala (diff)