How to pack sage-8.4 armv7l built as compressed re-distributable binaries?

savecancel

So I have compiled sage-8.4 for Raspbian Stretch on armv7l/RPI3B and it took size of about 12 GB and now if I want to re-distribute it as compressed re-distributable binaries, which files and folders I can trim down to reduce its size keeping the working condition?

sage-8.4 $ ls -la
total 748
drwxr-xr-x 15 pi pi   4096 Nov 27 15:26 .
drwxr-xr-x 40 pi pi   4096 Nov 28 17:37 ..
-rw-r--r--  1 pi pi  44178 Nov 27 13:17 aclocal.m4
drwxr-xr-x  2 pi pi   4096 Nov 27 15:17 autom4te.cache
-rwxr-xr-x  1 pi pi   4060 Oct 18 05:13 bootstrap
drwxr-xr-x  7 pi pi   4096 Oct 18 05:13 build
-rw-r--r--  1 pi pi     11 Nov 28 13:26 .BUILDSTART
drwxr-xr-x  2 pi pi   4096 Oct 18 05:13 .ci
drwxr-xr-x  2 pi pi   4096 Oct 18 05:13 .circleci
drwxr-xr-x  2 pi pi   4096 Nov 27 15:17 config
-rw-r--r--  1 pi pi  90637 Nov 27 15:18 config.log
-rwxr-xr-x  1 pi pi  81382 Nov 27 15:18 config.status
-rwxr-xr-x  1 pi pi 295272 Nov 27 15:17 configure
-rw-r--r--  1 pi pi  26587 Oct 18 05:13 configure.ac
-rw-r--r--  1 pi pi   9684 Nov 27 15:18 configure.log
-rw-r--r--  1 pi pi  66986 Oct 18 05:13 COPYING.txt
-rw-r--r--  1 pi pi    252 Oct 18 05:13 .dir-locals.el
drwxr-xr-x  3 pi pi   4096 Oct 18 05:13 docker
lrwxrwxrwx  1 pi pi     10 Nov 28 17:37 .dockerignore -> .gitignore
drwxr-xr-x  8 pi pi   4096 Oct 18 05:16 .git
drwxr-xr-x  2 pi pi   4096 Oct 18 05:13 .github
-rw-r--r--  1 pi pi   1058 Oct 18 05:13 .gitignore
-rw-r--r--  1 pi pi   6753 Oct 18 05:13 .gitlab-ci.yml
drwxr-xr-x 10 pi pi   4096 Nov 28 14:21 local
drwxr-xr-x  3 pi pi   4096 Nov 28 14:21 logs
drwxr-xr-x  2 pi pi   4096 Oct 18 05:13 m4
-rw-r--r--  1 pi pi   7284 Oct 18 05:13 Makefile
-rw-r--r--  1 pi pi  17604 Oct 18 05:13 README.md
-rwxr-xr-x  1 pi pi   4756 Oct 18 05:13 sage
drwxr-xr-x  9 pi pi   4096 Nov 28 00:48 src
drwxr-xr-x  2 pi pi  12288 Oct 18 05:17 upstream
-rw-r--r--  1 pi pi     47 Oct 18 05:13 VERSION.txt