linux-arm: Update build target.

diff --git a/build.sh b/build.sh
index 490c9ac02a03c7167ad65e763fab541b674302e3..421132603896fb62df4ea83e325812151c1219af 100755 (executable)
--- a/build.sh
+++ b/build.sh
@@ -437,6 +437,9 @@ set_build_info() {
     if [[ $OS == linux && $ARCH == ppc ]] ; then
         MAKE_IMAGE_TARGET=linux-ppc.32
         MAKE_TARGET=linux-ppc-32
+    elif [[ $OS == linux && $ARCH == arm64 ]] ; then
+        MAKE_IMAGE_TARGET=unix-arm.64
+        MAKE_TARGET=linux-arm-64
     elif [[ $OS == windows && $ARCH == x86 && $WORD == 64 ]] ; then
         MAKE_IMAGE_TARGET=windows-x86.64
         MAKE_TARGET=windows-x86-64

diff --git a/vm/platform.hpp b/vm/platform.hpp
index 3f85a07172a259c98aef378d9f80e03268881337..c3ae476345844b8eb6320e7f2b144114e67e979e 100644 (file)
--- a/vm/platform.hpp
+++ b/vm/platform.hpp
@@ -50,6 +50,8 @@
         #include "os-linux-ppc.32.hpp"
       #elif defined(FACTOR_ARM)
         #include "os-linux-arm.hpp"
+      #elif defined(FACTOR_ARM64)
+        #include "os-linux-arm.64.hpp"
       #elif defined(FACTOR_AMD64)
         #include "os-linux-x86.64.hpp"
       #else