make micro_release doesn't work

[williamstein]

wstein@sage:/scratch/wstein/may/sage-5.0.rc1$ make micro_release
bash -c ". spkg/bin/sage-env && local/bin/sage-micro_release"
Stripping .so files in local/lib
strip "/scratch/wstein/may/sage-5.0.rc1/local/lib/libzn_poly.so"
...
strip "/scratch/wstein/may/sage-5.0.rc1/local/lib/libpython2.7.so"
bash: line 1: 31544 Segmentation fault      local/bin/sage-micro_release
make: *** [micro_release] Error 139
wstein@sage:/scratch/wstein/may/sage-5.0.rc1$ 

Component: build

Author: Volker Braun

Reviewer: Marc Mezzarobba

Merged: sage-5.10.beta3

Issue created by migration from https://trac.sagemath.org/ticket/13004

[williamstein]

comment:1

Oops -- stripping python from a python script!?

[vbraun]

Initial patch

[vbraun]

comment:2

Attachment: trac_x_fix_micro_release.patch.gz

The attached patch splits sage-micro_release into a shell script that does the stripping
and a python script that does all the rest.

[mezzarobba]

comment:3

Why isn't this ticket flagged need_review?

[mezzarobba]

Author: Volker Braun

[mezzarobba]

comment:4

Anyway, the patch looks reasonable and works for me, so I took the liberty to give it positive_review. I hope this is acceptable.

(Apply to local/bin.)

[mezzarobba]

Reviewer: Marc Mezzarobba

[jdemeyer]

comment:5

Would it not be a good idea to limit the stripping to files which are executable?

find "$SAGE_LOCAL/bin" "$SAGE_LOCAL/lib" -type f -executable -exec strip '{}' ';'

[vbraun]

comment:6

You can also strip static libraries (.a) and those should not be executable.

[jpflori]

comment:7

I guess #11743 becomes a duplicate.

[jdemeyer]

Merged: sage-5.10.beta3