Add support for 64-bit ARM using the interpreter.

Thanks to Christian Neukirchen for the patch.

config.h.in

@@ -548,6 +548,9 @@
 /* Define to 1 if the system has the type `_Bool'. */
 #undef HAVE__BOOL
 
+/* Define if the host is an ARM (64 bit) */
+#undef HOSTARCHITECTURE_AARCH64
+
 /* Define if the host is an ARM (32 bit) */
 #undef HOSTARCHITECTURE_ARM
 

configure

@@ -21721,6 +21721,12 @@ $as_echo "#define HOSTARCHITECTURE_PPC 1" >>confdefs.h
 
 $as_echo "#define HOSTARCHITECTURE_ARM 1" >>confdefs.h
 
+            polyarch=interpret
+            ;;
+      aarch64*)
+
+$as_echo "#define HOSTARCHITECTURE_AARCH64 1" >>confdefs.h
+
             polyarch=interpret
             ;;
       ia64*)

configure.ac

@@ -412,6 +412,10 @@ case "${host_cpu}" in
             AC_DEFINE([HOSTARCHITECTURE_ARM], [1], [Define if the host is an ARM (32 bit)])
             polyarch=interpret
             ;;
+      aarch64*)
+            AC_DEFINE([HOSTARCHITECTURE_AARCH64], [1], [Define if the host is an ARM (64 bit)])
+            polyarch=interpret
+            ;;
       ia64*)
             AC_DEFINE([HOSTARCHITECTURE_IA64], [1], [Define if the host is Itanium])
             polyarch=interpret

libpolyml/elfexport.cpp

@@ -344,6 +344,10 @@ void ELFExport::exportStore(void)
     directReloc = R_IA64_DIR64LSB;
     fhdr.e_flags = EF_IA_64_ABI64;
     useRela = true;
+#elif defined(HOSTARCHITECTURE_AARCH64)
+    fhdr.e_machine = EM_AARCH64;
+    directReloc = R_AARCH64_ABS64;
+    useRela = true;
 #else
 #error "No support for exporting on this architecture"
 #endif