adding deb packaging for arm64 (sharkdp#1)

Rogach · Sep 10, 2018 · 0fe3bad · 0fe3bad
1 parent 89d4cb9
commit 0fe3bad
Showing 1 changed file with 8 additions and 1 deletion.
diff --git 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"