Bug 274321

Summary:	sci-mathematics/coq: pre-stripped files found
Product:	Gentoo Linux	Reporter:	Diego Elio Pettenò (RETIRED) <flameeyes>
Component:	New packages	Assignee:	Gentoo Science Related Packages <sci>
Status:	RESOLVED FIXED
Severity:	QA	CC:	ml
Priority:	High
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Bug Depends on:
Bug Blocks:	239866

Description Diego Elio Pettenò (RETIRED) gentoo-dev

2009-06-16 11:59:23 UTC

Portage warns about pre-stripped files being installed into the image directory; this is a bad thing since it makes Portage's splitdebug feature useless, and it stops the users and the developers from looking into backtraces with full debug information available.

For the developers going to look into it, what you have to look out for, to
find what is stripping the files, is one of these conditions:

- explicit "strip" command run on the produced files;
- "install -s" command to install the binary files;
- "-Wl,-s" flag passed during linking

Remove the "strip" commands, remove the "-s" option at install, and remove
"-Wl,-s" and the problem should be gone.

For what concerns pre-built packages, you should set the QA_PRESTRIPPED variable in the ebuild with the list of known pre-stripped objects in the package.

Thanks,
Diego

Comment 1 Diego Elio Pettenò (RETIRED) gentoo-dev

2009-06-16 11:59:53 UTC

 * QA Notice: Pre-stripped files found:
 * /usr/lib/coq/contrib/micromega/csdpcert
 * /usr/bin/coqmktop
 * /usr/bin/coq_makefile
 * /usr/bin/coqc
 * /usr/bin/coqtop.opt
 * /usr/bin/gallina
 * /usr/bin/coqdoc
 * /usr/bin/coq-tex
 * /usr/bin/coqdep
 * /usr/bin/coqwc

Comment 2 Alexis Ballier gentoo-dev

2009-09-19 13:25:05 UTC

fixed in 8.2_p1-r1