It is possible to generate the libgmp-10.dll file with a different name?

Torbjörn Granlund tg at gmplib.org
Fri Oct 23 07:25:26 UTC 2020


Zsolt Kántor <zsoltkantor at yahoo.co.uk> writes:

  it is possible somehow to compile/link the libgmp-10.dll file with a
  different name?Is there a configure option for that?I would like to
  have only libgmp.dll 

I am sure there is a command in Windows for renaming a file.

-- 
Torbjörn
Please encrypt, key id 0xC8601622


More information about the gmp-discuss mailing list