Using this in a custom programming language

[Matthew Robinson]

Hello,

I am writing a programming language that uses GMP for its numeric builtins. I want to release my language and my compiler under the GPL license. My 'compiler' converts my language's source into C++ source that will be dynamically linked to GMP from the user's system (-lgmp flag and #include <gmp.h> in the output C++).

My question is, if someone uses my compiler to create a program, are they also required to release their product with its source (under GPL or LGPL?). Note that my compiler nor my language will distributed with any code from GMP, though I will obviously credit this incredible library and include a license notice linked to your project.

My theory is that they could choose the LGPL license for GMP, and then when they compile the output from my transpiler, since it is dynamically linked to GMP they won't have to release their source code if they release a product.

Thank you for your help. I'm a bit new to this kind of thing.

MATTHEW A. ROBINSON