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"