So the code is definitely run. $enable_shared is set to no $enable_static is set to yes $host is haswell-pc-msys
And that is the case, even if I specify --enable-shared --enable-static to configure. In fact, it is the case regardless of what combination of --enable/disable-shared/static I pass to configure. It just looks like an autotools bug to me. Bill. On 12 June 2015 at 15:28, Jean-Pierre Flori <jpfl...@gmail.com> wrote: > > > On Friday, June 12, 2015 at 8:14:41 AM UTC-5, Bill Hart wrote: >> >> >> >> On 12 June 2015 at 15:07, Jean-Pierre Flori <jpf...@gmail.com> wrote: >> >>> >>> On Friday, June 12, 2015 at 7:31:53 AM UTC-5, Bill Hart wrote: >>>> >>>> I have a puzzler. >>>> >>>> I've updated config.guess etc. to allow -pc-msys when using msys2. >>>> >>>> On my machine I get haswell-pc-msys, for example. >>>> >>>> Now in configure, we have: >>>> >>>> case $host in >>>> *-pc-msys|*-*-cygwin* | *-*-mingw*) >>>> >>> It looks fine. >>> >>> Did you look at the output? >>> >> >> Technically, no. Will do that now. >> >> >>> and try to run the piece of code concerned in a shell? >>> >> >> Oh yes, I definitely did that. :-) >> >> Sure :) I meant the isolated part in configure corresponding to the > configure.ac part. > > -- > 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 http://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 http://groups.google.com/group/mpir-devel. For more options, visit https://groups.google.com/d/optout.
