Which statement of GPL enforces publishing source codes that uses GPL?

Question

I've been looking at the web articles, and following statement seems to be true:

• When there is an application source code which just uses some GPL library, but does not contain any part of the library within the codebase, the developer of the application still needs to publish the application in GPL (if he/she is to publish the source code).

Reference, for example, https://softwareengineering.stackexchange.com/questions/317284/licensing-on-github

---

Given my assumption is true, here's my question:

• Which part of the GPL License (http://www.gnu.org/licenses/gpl-3.0.txt) claims and enforces the library users to do so?

Here, I think the to-be-published source code is not "translated" or in anyway interacted with the GPL library per se (as it is merely a source code), so I'm wondering how the above restriction gets logically deduced from the License statements.

Answer 1

The relevant section is GPLv3 s5, which says that

You may convey a work based on the Program [...] provided that you also meet all of these conditions:

[...]

c) You must license the entire work, as a whole, under this License to anyone who comes into possession of a copy.

The question of whether linking to a library is enough to produce a derivative work of that library, and thus engage the GPL, is an open one. The FSF believes that dynamic (and static) linking does produce a derivative work, and therefore that code that uses a GPLed library must therefore be released under the GPL (or a less-restrictive, but compatible, licence). Others have different beliefs; Wikipedia has a fairly well-referenced summary of various different points of view that people have held on the subject.

Until a court of significance rules persuasively on the issue, we simply don't know for sure.