From b87b3a7ac70e606223740e4ac9943b08949ecbaf Mon Sep 17 00:00:00 2001
From: Jack Wink <jackwink@umich.edu>
Date: Wed, 17 Jun 2015 14:05:46 -0400
Subject: [PATCH] add arm64-v8a support for android builds

---
 dist-build/android-armv8-a.sh | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100755 dist-build/android-armv8-a.sh

diff --git a/dist-build/android-armv8-a.sh b/dist-build/android-armv8-a.sh
new file mode 100755
index 00000000..275b6ba6
--- /dev/null
+++ b/dist-build/android-armv8-a.sh
@@ -0,0 +1,4 @@
+#!/bin/sh
+export TARGET_ARCH=armv8-a
+export CFLAGS="-Os -march=${TARGET_ARCH}"
+ARCH=arm64 HOST_COMPILER=aarch64-linux-android "$(dirname "$0")/android-build.sh"