leif wrote:
It is btw reproducible on other (capable, x86/x86_64) systems:$ ../mpir-2.6.0/configure -v --host=core-pc-linux-gnu ... checking ABI=standard checking compiler core-pc-linux-gnu-gcc -O2 ... no checking compiler gcc -O2 ... yes checking for core-pc-linux-gnu-gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no ... using ABI="standard" CC="gcc -std=gnu99" CFLAGS="-O2" CPPFLAGS="" MPN_PATH=" generic" ... (Note the MPN path.) $ ../mpir-2.6.0/configure -v --host=core-pc-linux-gnu ABI=32 configure: WARNING: if you wanted to set the --build type, don't use --host. If a cross compiler is detected then cross compile mode will be used checking build system type... bobcat-unknown-linux-gnu checking host system type... core-pc-linux-gnu checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for core-pc-linux-gnu-strip... no checking for strip... strip checking for a thread-safe mkdir -p... /bin/mkdir -p checking for gawk... gawk checking whether make sets $(MAKE)... yes checking whether to enable maintainer-specific portions of Makefiles... no configure: error: ABI=32 is not among the following valid choices: standard
Ooops, weird -- I get the same results with MPIR 2.4.0, so probably config.guess changed (i.e., previously didn't give core-* on the machine the error was reported for, as allegedly Sage 5.6 [with MPIR 2.4.0] built just fine on that machine, with the same parameters).
-leif -- () The ASCII Ribbon Campaign /\ Help Cure HTML E-Mail -- 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?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
