On 20 December 2016 at 15:28, imbacen <cen.is.i...@gmail.com> wrote: > If all this flag does is rename the final binary then it's not a problem. > I was just wondering if it's something more than that, maybe sets some > different macros or whatever. >
I don't believe it does anything else that is relevant to Windows. Bill. > > Dne ponedeljek, 19. december 2016 00.29.29 UTC+1 je oseba Cactus napisala: > >> On 18/12/2016 21:53, imbacen wrote: >> > I didn't find a user mailing list so this will have to do. >> > >> > Per Mpir documentation, using --enable-gmpcompat switch when running >> ./configure will produce gmp.lib and gmp.h for compatibility. There is no >> mention of how to do that in Windows build though. How to do this in the >> Visual Studio project? I assume the flag does not simply rename the target >> but does some other stuff behind the scenes. >> >> As far as I am aware, all that is done by this option is to produce >> duplicates of the mpir output files named 'gmp' instead of 'mpir'. But I >> might be wrong as I know very little about the *nix build processes >> >> However, there is no equivalent of this for the Visual Studio builds - >> if you need such files you have to rename them yourself. >> >> with my regards, >> >> Brian >> >> >> >> -- > You received this message because you are subscribed to the Google Groups > "mpir-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to mpir-devel+unsubscr...@googlegroups.com. > To post to this group, send email to mpir-devel@googlegroups.com. > Visit this group at https://groups.google.com/group/mpir-devel. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "mpir-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to mpir-devel+unsubscr...@googlegroups.com. To post to this group, send email to mpir-devel@googlegroups.com. Visit this group at https://groups.google.com/group/mpir-devel. For more options, visit https://groups.google.com/d/optout.
