From 0fe3badf19a2e05c2b5cdde8bf748c393aab91c7 Mon Sep 17 00:00:00 2001
From: rachitchokshi <36342425+rachitchokshi@users.noreply.github.com>
Date: Sun, 9 Sep 2018 19:30:29 -0700
Subject: [PATCH] adding deb packaging for arm64 (#1)

---
 ci/before_deploy.bash | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/ci/before_deploy.bash b/ci/before_deploy.bash
index 7cc4d874..913fce44 100755
--- a/ci/before_deploy.bash
+++ b/ci/before_deploy.bash
@@ -51,13 +51,20 @@ make_deb() {
     local version
     local dpkgname
     local conflictname
+    local gcc_prefix
 
     case $TARGET in
         x86_64*)
             architecture=amd64
+            gcc_prefix=""
             ;;
         i686*)
             architecture=i386
+            gcc_prefix=""
+            ;;
+        aarch64*)
+            architecture=arm64
+            gcc_prefix="aarch64-linux-gnu-"
             ;;
         *)
             echo "make_deb: skipping target '${TARGET}'" >&2
@@ -77,7 +84,7 @@ make_deb() {
 
     # copy the main binary
     install -Dm755 "target/$TARGET/release/$PROJECT_NAME" "$tempdir/usr/bin/$PROJECT_NAME"
-    strip "$tempdir/usr/bin/$PROJECT_NAME"
+    "${gcc_prefix}"strip "$tempdir/usr/bin/$PROJECT_NAME"
 
     # manpage
     install -Dm644 "doc/$PROJECT_NAME.1" "$tempdir/usr/share/man/man1/$PROJECT_NAME.1"