blob: f1684e16cc7b6ba9129e5c6a221fb9a9092770ec (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
Tag: shared-library-lacks-prerequisites
Severity: warning
Check: binaries/prerequisites
Renamed-From:
shared-lib-without-dependency-information
Explanation: The listed shared library doesn't include information about the
other libraries against which it was linked.
.
More specifically, "<code>ldd foo.so</code>" should report such other
libraries. In your case, it reports "statically linked".
.
The fix is to specify the libraries. One way to do so is to add
something like "-lc" to the command-line options for "ld".
Screen: coq/cmxs/prerequisites
Advocates: Julien Puydt <julien.puydt@gmail.com>
Reason: The Coq project comes with a kind of compiler that generates files
which are ELF shared objects. Unfortunately, they contain many undefined
symbols, but those are expected.
.
There are a lot of false positives.
See-Also:
Bug#999602
|