on master help sign in
adding deb packaging for arm64 (#1)
commit0fe3badf19a2e05c2b5cdde8bf748c393aab91c7 authorrachitchokshi <36342425+rachitchokshi@users.noreply.github.com> dateSun 9 Sep 2018, 19:30 (8 years ago) parent89d4cb9
1 file changed+8−1
ci/before_deploy.bash+8−1
ci/before_deploy.bash+8−1
@@ -51,13 +51,20 @@ make_deb() {
5151 local version
5252 local dpkgname
5353 local conflictname
54+ local gcc_prefix
5455
5556 case $TARGET in
5657 x86_64*)
5758 architecture=amd64
59+ gcc_prefix=""
5860 ;;
5961 i686*)
6062 architecture=i386
63+ gcc_prefix=""
64+ ;;
65+ aarch64*)
66+ architecture=arm64
67+ gcc_prefix="aarch64-linux-gnu-"
6168 ;;
6269 *)
6370 echo "make_deb: skipping target '${TARGET}'" >&2
@@ -77,7 +84,7 @@ make_deb() {
7784
7885 # copy the main binary
7986 install -Dm755 "target/$TARGET/release/$PROJECT_NAME" "$tempdir/usr/bin/$PROJECT_NAME"
80− strip "$tempdir/usr/bin/$PROJECT_NAME"
87+ "${gcc_prefix}"strip "$tempdir/usr/bin/$PROJECT_NAME"
8188
8289 # manpage
8390 install -Dm644 "doc/$PROJECT_NAME.1" "$tempdir/usr/share/man/man1/$PROJECT_NAME.1"