From: GitHub <no...@gi...> - 2015-07-10 15:28:04
|
Branch: refs/heads/master Home: https://github.com/MLton/mlton Commit: 78920eed98fb72bea9a7febf9d158b356456bde3 https://github.com/MLton/mlton/commit/78920eed98fb72bea9a7febf9d158b356456bde3 Author: Matthew Fluet <mat...@gm...> Date: 2015-07-10 (Fri, 10 Jul 2015) Changed paths: M lib/stubs/mlton-stubs/mlton.sml M lib/stubs/mlton-stubs/platform.sig M mlton/main/main.fun A runtime/platform/arm64.h Log Message: ----------- Further support for arm64 (aarch64). Patch from Edmund Evans via mlton-devel mailing list and Debian Bug report (https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=762143) to build on arm64 (aarch64) Debian unstable. Original support for arm64 (aarch64) was commit 51ac878. Commit: c611cbbf9a88eeb86bec51e079ecbfe3c2cb3096 https://github.com/MLton/mlton/commit/c611cbbf9a88eeb86bec51e079ecbfe3c2cb3096 Author: Matthew Fluet <Mat...@gm...> Date: 2015-07-10 (Fri, 10 Jul 2015) Changed paths: M lib/stubs/mlton-stubs/mlton.sml M lib/stubs/mlton-stubs/platform.sig M mlton/main/main.fun A runtime/platform/arm64.h Log Message: ----------- Merge pull request #113 from MatthewFluet/arm64-support Further support for arm64 (aarch64). Compare: https://github.com/MLton/mlton/compare/492fa319f8b2...c611cbbf9a88 |