So I have compiled sage-8.4 for armv7l and took size of about 12 GB and now if want to redistribute 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
