Ask Your Question
2

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

asked 2018-11-28 16:00:12 +0100

pavelsayekat gravatar image

updated 2018-12-04 17:16:55 +0100

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
edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted
4

answered 2018-11-29 11:03:33 +0100

Iguananaut gravatar image

For starters you might want to look at the micro_release target in in the Makefile. Try running make micro_release: it prunes quite a lot of stuff.

Start with that and see where it gets you; there might be more opportunities here and there beyond that.

edit flag offensive delete link more

Comments

make micro_release did its job but finally prints out a message like "rdfind not installed. Not hardlinking identical files". So rdfind should have been a dependency/prerequisite.

pavelsayekat gravatar imagepavelsayekat ( 2018-11-30 21:08:01 +0100 )edit

Well here is a micro_kernel version torrent link of sage-8.4 armv7l compressed binaries https://drive.google.com/open?id=1GrO... or direct link https://drive.google.com/open?id=13cq... if anyone interested.

pavelsayekat gravatar imagepavelsayekat ( 2018-12-04 17:17:29 +0100 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2018-11-28 16:00:12 +0100

Seen: 423 times

Last updated: Dec 04 '18