Re: [Gcl-devel] GCL and GMP (was Re: [Axiom-developer] Re: Bug#263991: axiom: wrong calculation ofsqrt(2.))

[Mark Murray]

Mark Murray writes:
> Camm Maguire writes:
> > Greetings!  Not that this is final or anything, but could you preface
> > the configure with C_INCLUDE_PATH=/usr/local/include
> > LIBRARY_PATH=/usr/local/lib?
> 
> That looks as though it worked!

Sorry. I spoke too soon.

Its still using the piggyback GMP.

What would help you debug this? I'm enclosing a transcript of a FreeBSD 
configure.

M
--
Mark Murray
iumop ap!sdn w,I idlaH

Script started on Fri Aug 13 12:07:04 2004
[graveyard] /usr/ports/lang/gcl-stable 12:07 PM # make configure
===>  Vulnerability check disabled, database not found
===>  Extracting for gcl-2.6.5
===>  Patching for gcl-2.6.5
===>   gcl-2.6.5 depends on executable: gmake - found
===>   gcl-2.6.5 depends on file: /usr/local/bin/autoconf259 - found
===>   gcl-2.6.5 depends on shared library: tk84.1 - found
===>   gcl-2.6.5 depends on shared library: X11.6 - found
===>  Configuring for gcl-2.6.5
/bin/rm -f /usr/ports/lang/gcl-stable/work/gcl/configure
/usr/bin/sed -i ''  -e 's|@@CFLAGS@@|-O -pipe  -I/usr/local/include|'  -e 
's|@@LOCALLIBS@@|-L/usr/local/lib -lm -lreadline|'  
/usr/ports/lang/gcl-stable/work/gcl/h/FreeBSD.defs
configure: WARNING: you should use --build, --host, --target
checking build system type... i386-portbld-freebsd5.2
checking host system type... i386-portbld-freebsd5.2
host=i386-portbld-freebsd5.2
enable_machine=FreeBSD
use=FreeBSD
checking for i386-portbld-freebsd5.2-gcc... cc
checking for C compiler default output file name... a.out
checking whether the C compiler works... yes
checking whether we are cross compiling... no
checking for suffix of executables... 
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether cc accepts -g... yes
checking for cc option to accept ANSI C... none needed
checking how to run the C preprocessor... cc -E
checking for gawk... no
checking for nawk... nawk
checking system version (for dynamic loading)... checking for makeinfo... 
makeinfo
FreeBSD-5.2-CURRENT
checking for egrep... grep -E
checking for ANSI C header files... yes
checking for sys/types.h... yes
checking for sys/stat.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for unistd.h... yes
checking gmp.h usability... yes
checking gmp.h presence... yes
checking for gmp.h... yes
checking for __gmpz_init in -lgmp... yes
checking "for external gmp version"... head: illegal line count -- 1l
checking use_gmp=yes, doing configure in gmp directory... 
#
#
# -------------------
# Subconfigure of GMP
#
#
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... i386-unknown-freebsd5.2
checking host system type... i386-portbld-freebsd5.2
checking for a BSD-compatible install... /usr/bin/install -c -o root -g wheel
checking whether build environment is sane... yes
checking whether gmake sets $(MAKE)... yes
checking for working aclocal-1.4... missing
checking for working autoconf... found
checking for working automake-1.4... missing
checking for working autoheader... found
checking for working makeinfo... found
checking whether to enable maintainer-specific portions of Makefiles... no
checking whether cc is gcc... yes
checking compiler cc -O -pipe  -I/usr/local/include ... yes
checking for i386-portbld-freebsd5.2-gcc... cc
checking for C compiler default output file name... a.out
checking whether the C compiler works... yes
checking whether we are cross compiling... no
checking for suffix of executables... 
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether cc accepts -g... yes
checking for cc option to accept ANSI C... none needed
checking how to run the C preprocessor... cc -E
using ABI="standard"
      CC="cc"
      CFLAGS="-O -pipe  -I/usr/local/include"
      CPPFLAGS=""
checking for cc option to accept ANSI C... none needed
checking for sys/types.h... yes
checking for sys/stat.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for unistd.h... yes
checking for function prototypes... yes
checking for i386-portbld-freebsd5.2-ar... no
checking for ar... ar
checking for BSD-compatible nm... nm
checking for a sed that does not truncate output... /usr/bin/sed
checking for ld used by cc... /usr/bin/ld
checking if the linker (/usr/bin/ld) is GNU ld... yes
checking for /usr/bin/ld option to reload object files... -r
checking whether ln -s works... yes
checking how to recognise dependent libraries... pass_all
checking dlfcn.h usability... yes
checking dlfcn.h presence... yes
checking for dlfcn.h... yes
checking for i386-portbld-freebsd5.2-g77... no
checking for i386-portbld-freebsd5.2-f77... no
checking for i386-portbld-freebsd5.2-xlf... no
checking for i386-portbld-freebsd5.2-frt... no
checking for i386-portbld-freebsd5.2-pgf77... no
checking for i386-portbld-freebsd5.2-fort77... no
checking for i386-portbld-freebsd5.2-fl32... no
checking for i386-portbld-freebsd5.2-af77... no
checking for i386-portbld-freebsd5.2-f90... no
checking for i386-portbld-freebsd5.2-xlf90... no
checking for i386-portbld-freebsd5.2-pgf90... no
checking for i386-portbld-freebsd5.2-epcf90... no
checking for i386-portbld-freebsd5.2-f95... no
checking for i386-portbld-freebsd5.2-fort... no
checking for i386-portbld-freebsd5.2-xlf95... no
checking for i386-portbld-freebsd5.2-ifc... no
checking for i386-portbld-freebsd5.2-efc... no
checking for i386-portbld-freebsd5.2-pgf95... no
checking for i386-portbld-freebsd5.2-lf95... no
checking for i386-portbld-freebsd5.2-gfortran... no
checking for g77... no
checking for f77... f77
checking whether we are using the GNU Fortran 77 compiler... yes
checking whether f77 accepts -g... yes
checking the maximum length of command line arguments... (cached) 65536
checking command to parse nm output from cc object... ok
checking for objdir... .libs
checking for i386-portbld-freebsd5.2-ar... ar
checking for i386-portbld-freebsd5.2-ranlib... no
checking for ranlib... ranlib
checking for i386-portbld-freebsd5.2-strip... no
checking for strip... strip
checking if cc static flag  works... yes
checking if cc supports -fno-rtti -fno-exceptions... no
checking for cc option to produce PIC... -fPIC
checking if cc PIC flag -fPIC works... yes
checking if cc supports -c -o file.o... yes
checking whether the cc linker (/usr/bin/ld) supports shared libraries... yes
checking whether -lc should be explicitly linked in... yes
checking dynamic linker characteristics... freebsd5.2 ld.so
checking how to hardcode library paths into programs... immediate
checking whether stripping libraries is possible... yes
checking if libtool supports shared libraries... yes
checking whether to build shared libraries... yes
checking whether to build static libraries... yes
configure: creating libtool
checking for ANSI C header files... memchr: not found
no
checking whether time.h and sys/time.h may both be included... yes
checking locale.h usability... yes
checking locale.h presence... yes
checking for locale.h... yes
checking sys/mman.h usability... yes
checking sys/mman.h presence... yes
checking for sys/mman.h... yes
checking sys/param.h usability... yes
checking sys/param.h presence... yes
checking for sys/param.h... yes
checking sys/processor.h usability... no
checking sys/processor.h presence... no
checking for sys/processor.h... no
checking sys/resource.h usability... yes
checking sys/resource.h presence... yes
checking for sys/resource.h... yes
checking sys/sysctl.h usability... yes
checking sys/sysctl.h presence... yes
checking for sys/sysctl.h... yes
checking sys/systemcfg.h usability... no
checking sys/systemcfg.h presence... no
checking for sys/systemcfg.h... no
checking sys/time.h usability... yes
checking sys/time.h presence... yes
checking for sys/time.h... yes
checking sys/times.h usability... yes
checking sys/times.h presence... yes
checking for sys/times.h... yes
checking whether fgetc is declared... yes
checking whether fscanf is declared... yes
checking whether optarg is declared... yes
checking whether ungetc is declared... yes
checking whether vfprintf is declared... yes
checking return type of signal handlers... void
checking for intmax_t... yes
checking for long double... yes
checking for long long... yes
checking for ptrdiff_t... no
checking for quad_t... yes
checking for preprocessor stringizing operator... #teststring: not found
yes
checking whether <stdarg.h> exists and works... yes
checking whether gcc __attribute__ ((const)) works... yes
checking whether gcc __attribute__ ((malloc)) works... yes
checking whether gcc __attribute__ ((mode (XX))) works... yes
checking whether gcc __attribute__ ((noreturn)) works... yes
checking for inline... inline
checking for cos in -lm... yes
checking for working alloca.h... no
checking for alloca (via gmp-impl.h)... yes
checking how to allocate temporary memory... alloca
checking for alarm... yes
checking for getpagesize... yes
checking for getrusage... yes
checking for gettimeofday... yes
checking for localeconv... yes
checking for memset... yes
checking for mmap... yes
checking for mprotect... yes
checking for obstack_vprintf... no
checking for popen... yes
checking for processor_info... no
checking for read_real_time... no
checking for strchr... yes
checking for strnlen... no
checking for strtoul... yes
checking for sysconf... yes
checking for sysctl... yes
checking for sysctlbyname... yes
checking for times... yes
checking for vsnprintf... yes
checking whether vsnprintf works... yes
checking whether sscanf needs writable input... no
checking for suitable m4... m4
checking if m4wrap produces spurious output... no
checking how to switch to text section... .text
checking how to switch to data section... .data
checking what assembly label suffix to use... :
checking how to export a symbol... .globl
checking if globals are prefixed by underscore... no
checking how to switch to read-only data section...     .section        .rodata
checking if the export directive needs an attribute... 
checking for assembler .type directive... .type $1,@$2
checking for assembler .size directive... .size $1,$2
checking what prefix to use for a local label... .L
checking how to define a 32-bit word... .long
checking if .align assembly directive is logarithmic... no
checking if the .align directive accepts an 0x90 fill in .text... yes
checking if the assembler takes cl with shldl... yes
creating config.m4
configure: creating ./config.status
config.status: creating Makefile
config.status: creating mpbsd/Makefile
config.status: creating mpf/Makefile
config.status: creating mpn/Makefile
config.status: creating mpq/Makefile
config.status: creating mpz/Makefile
config.status: creating printf/Makefile
config.status: creating scanf/Makefile
config.status: creating cxx/Makefile
config.status: creating tests/Makefile
config.status: creating tests/devel/Makefile
config.status: creating tests/mpbsd/Makefile
config.status: creating tests/mpf/Makefile
config.status: creating tests/mpn/Makefile
config.status: creating tests/mpq/Makefile
config.status: creating tests/mpz/Makefile
config.status: creating tests/rand/Makefile
config.status: creating tests/misc/Makefile
config.status: creating tests/cxx/Makefile
config.status: creating tune/Makefile
config.status: creating demos/Makefile
config.status: creating demos/calc/Makefile
config.status: creating demos/expr/Makefile
config.status: creating gmp.h
config.status: creating mp.h
config.status: creating demos/expr/expr-impl.h
config.status: creating config.h
config.status: linking ./mpn/x86/udiv.asm to mpn/udiv.asm
config.status: linking ./mpn/x86/umul.asm to mpn/umul.asm
config.status: linking ./mpn/generic/add.c to mpn/add.c
config.status: linking ./mpn/generic/add_1.c to mpn/add_1.c
config.status: linking ./mpn/x86/aors_n.asm to mpn/add_n.asm
config.status: linking ./mpn/generic/sub.c to mpn/sub.c
config.status: linking ./mpn/generic/sub_1.c to mpn/sub_1.c
config.status: linking ./mpn/x86/aors_n.asm to mpn/sub_n.asm
config.status: linking ./mpn/x86/mul_1.asm to mpn/mul_1.asm
config.status: linking ./mpn/x86/aorsmul_1.asm to mpn/addmul_1.asm
config.status: linking ./mpn/x86/aorsmul_1.asm to mpn/submul_1.asm
config.status: linking ./mpn/x86/lshift.asm to mpn/lshift.asm
config.status: linking ./mpn/x86/rshift.asm to mpn/rshift.asm
config.status: linking ./mpn/x86/dive_1.asm to mpn/dive_1.asm
config.status: linking ./mpn/x86/diveby3.asm to mpn/diveby3.asm
config.status: linking ./mpn/generic/divis.c to mpn/divis.c
config.status: linking ./mpn/generic/divrem.c to mpn/divrem.c
config.status: linking ./mpn/x86/divrem_1.asm to mpn/divrem_1.asm
config.status: linking ./mpn/generic/divrem_2.c to mpn/divrem_2.c
config.status: linking ./mpn/generic/fib2_ui.c to mpn/fib2_ui.c
config.status: linking ./mpn/x86/mod_1.asm to mpn/mod_1.asm
config.status: linking ./mpn/x86/mod_34lsub1.asm to mpn/mod_34lsub1.asm
config.status: linking ./mpn/generic/mode1o.c to mpn/mode1o.c
config.status: linking ./mpn/generic/pre_mod_1.c to mpn/pre_mod_1.c
config.status: linking ./mpn/generic/dump.c to mpn/dump.c
config.status: linking ./mpn/generic/mul.c to mpn/mul.c
config.status: linking ./mpn/generic/mul_fft.c to mpn/mul_fft.c
config.status: linking ./mpn/generic/mul_n.c to mpn/mul_n.c
config.status: linking ./mpn/x86/mul_basecase.asm to mpn/mul_basecase.asm
config.status: linking ./mpn/generic/sqr_basecase.c to mpn/sqr_basecase.c
config.status: linking ./mpn/generic/random.c to mpn/random.c
config.status: linking ./mpn/generic/random2.c to mpn/random2.c
config.status: linking ./mpn/generic/sqrtrem.c to mpn/sqrtrem.c
config.status: linking ./mpn/generic/get_str.c to mpn/get_str.c
config.status: linking ./mpn/generic/set_str.c to mpn/set_str.c
config.status: linking ./mpn/generic/scan0.c to mpn/scan0.c
config.status: linking ./mpn/generic/scan1.c to mpn/scan1.c
config.status: linking ./mpn/generic/popcount.c to mpn/popcount.c
config.status: linking ./mpn/generic/hamdist.c to mpn/hamdist.c
config.status: linking ./mpn/generic/cmp.c to mpn/cmp.c
config.status: linking ./mpn/generic/perfsqr.c to mpn/perfsqr.c
config.status: linking ./mpn/generic/bdivmod.c to mpn/bdivmod.c
config.status: linking ./mpn/generic/gcd_1.c to mpn/gcd_1.c
config.status: linking ./mpn/generic/gcd.c to mpn/gcd.c
config.status: linking ./mpn/generic/gcdext.c to mpn/gcdext.c
config.status: linking ./mpn/generic/tdiv_qr.c to mpn/tdiv_qr.c
config.status: linking ./mpn/generic/dc_divrem_n.c to mpn/dc_divrem_n.c
config.status: linking ./mpn/generic/sb_divrem_mn.c to mpn/sb_divrem_mn.c
config.status: linking ./mpn/generic/jacbase.c to mpn/jacbase.c
config.status: linking ./mpn/x86/copyi.asm to mpn/copyi.asm
config.status: linking ./mpn/x86/copyd.asm to mpn/copyd.asm
config.status: linking ./mpn/x86/gmp-mparam.h to gmp-mparam.h
config.status: executing default-1 commands
#
#
#
# Subconfigure of GMP done
# ------------------------
#
checking "for leading underscore in object symbols"... "no"
checking "for GNU ld option -Map"... "yes"
checking "for size of gmp limbs"... 4
checking "_SHORT_LIMB"... no
checking "_LONG_LONG_LIMB"... no
checking for X... libraries /usr/X11R6/lib, headers /usr/X11R6/include
checking for gethostbyname... yes
checking for connect... yes
checking for remove... yes
checking for shmat... yes
checking for IceConnectionNumber in -lICE... yes
-I/usr/X11R6/include
-L/usr/X11R6/lib

-lSM -lICE
checking for main in -lXmu... yes
checking for main in -lXt... yes
checking for main in -lXext... yes
checking for main in -lXaw... yes
checking for main in -lX11... yes
checking for long... yes
checking size of long... 4
checking sizeof struct contblock... 8
checking endian.h usability... no
checking endian.h presence... no
checking for endian.h... no
checking for sbrk... yes
checking for randomized sbrk... no
checking "finding DBEGIN"... got 0x8000000
checking "finding CSTACK_ADDRESS"... got -1077942324
checking "sizeof long long int"... yes
checking for pagewidth... 12
checking for getcwd... yes
checking for getwd... yes
checking for uname... yes
checking for gettimeofday... yes
checking sys/ioctl.h usability... yes
checking sys/ioctl.h presence... yes
checking for sys/ioctl.h... yes
checking elf.h usability... yes
checking elf.h presence... yes
checking for elf.h... yes
checking elf_abi.h usability... no
checking elf_abi.h presence... no
checking for elf_abi.h... no
checking for BSDgettimeofday... no
checking for gettimeofday... (cached) yes
checking for gettimeofday declaration... present
checking for sin in -lm... yes
checking for main in -lmingwex... no
checking math.h usability... yes
checking math.h presence... yes
checking for math.h... yes
checking values.h usability... no
checking values.h presence... no
checking for values.h... no
checking float.h usability... yes
checking float.h presence... yes
checking for float.h... yes
checking for isnormal... yes
checking for isfinite... yes
checking for sockets... checking for connect... (cached) yes
checking for gethostbyname... (cached) yes
checking readline/readline.h usability... yes
checking readline/readline.h presence... yes
checking for readline/readline.h... yes
checking for main in -lreadline... yes
checking for rl_completion_matches in -lreadline... yes
checking For network code for nsocket.c... yes
checking check for listen using fcntl... yes
checking for profil... yes
checking for setenv... yes
checking for _cleanup... yes
checking FIONBIO vs. O_NONBLOCK for nonblocking I/O... O_NONBLOCK
checking check for SV_ONSTACK... yes
checking check for SIGSYS... yes
checking check for SIGEMT... yes
checking asm/sigcontext.h usability... no
checking asm/sigcontext.h presence... no
checking for asm/sigcontext.h... no
checking asm/signal.h usability... no
checking asm/signal.h presence... no
checking for asm/signal.h... no
checking for sigcontext...... sigcontext in signal.h
checking for emacs... no
checking emacs site lisp directory... 
checking emacs default.el... /default.el
checking emacs info/dir... /usr/share/info/
checking for tcl/tk... checking for main in -llieee... no
using TK_VERSION=8.4 in /usr/local/lib/tk8.4
checking alloca... yes
checking Checking for buggy gcc version from redhat... no
configure: creating ./config.status
config.status: creating makedefc
config.status: creating windows/gcl.iss
config.status: creating windows/sysdir.bat
config.status: creating windows/install.lsp
config.status: creating h/gclincl.h
makedefc

# begin makedefs

# use=FreeBSD

# for main link of raw_gcl
LIBS=    -lm  -lgmp -lreadline -lncurses

#The multi precision library stuff
MPFILES=$(MPDIR)/@MPI_FILE@ $(MPDIR)/libmport.a


# root for the installation, eg /usr/local
# This would cause make install to create /usr/local/bin/gcl and
# /usr/local/lib/gcl-2-??/* with some basic files.
prefix=/usr/local

# where to place the info files
INFO_DIR=/usr/local/info

# configure has a clever process for figuring out where Emacs
# really expects to find site-lisp and default.el.  We use
# these values instead to ensure that building with --prefix=PREFIX
# will not make changes outside the specified tree. -twp

# where to put emacs lisp files.
EMACS_SITE_LISP=/usr/local/share/emacs/site-lisp

# the default.el file
EMACS_DEFAULT_EL=/usr/local/share/emacs/site-lisp/default.el

# numerous TCL/TK variables culled from the tkConfig.sh and tclConfig.sh
# if these are found.
TK_CONFIG_PREFIX=/usr/local/lib/tk8.4
TK_LIBRARY=/usr/local/lib/tk8.4/../tk8.4
TCL_LIBRARY=/usr/local/lib/tk8.4/../tcl8.4
TK_XINCLUDES=-I/usr/X11R6/include
TK_INCLUDE=-I/usr/local/lib/tk8.4/../../include/tk8.4
TCL_INCLUDE=-I/usr/local/lib/tk8.4/../../include/tcl8.4
TK_LIB_SPEC=-L/usr/local/lib -ltk84
TK_BUILD_LIB_SPEC=-L${WRKDIRPREFIX}/usr/ports/x11-toolkits/tk84/work/tk8.4.6/unix
 -ltk84
TK_XLIBSW=-L/usr/X11R6/lib -lX11
TK_XINCLUDES=-I/usr/X11R6/include
TCL_LIB_SPEC=-L/usr/local/lib -ltcl84${TCL_DBGX}
TCL_DL_LIBS=
TCL_LIBS=-lm

NOTIFY=yes
CC=cc
CFLAGS=-O -pipe  -I/usr/local/include -Wall -DVOL=volatile -fsigned-char -pipe 
-O3 -fomit-frame-pointer  -I$(GCLDIR)/o
FINAL_CFLAGS=-O -pipe  -I/usr/local/include -Wall -DVOL=volatile -fsigned-char 
-pipe 
NIFLAGS=-O -pipe  -I/usr/local/include -Wall -DVOL=volatile -fsigned-char -pipe 
  -I$(GCLDIR)/o
O3FLAGS=-O3 -fomit-frame-pointer
O2FLAGS=-O

RL_OBJS=gcl_readline.o

RL_LIB=

MAKEINFO=makeinfo

FLISP=saved_gcl
SYSTEM=gcl
BUILD_BFD=
GMPDIR=gmp3
X_LIBS= -L/usr/X11R6/lib -lXmu -lXt -lXext -lXaw -lX11
X_CFLAGS= -I/usr/X11R6/include

PROCESSOR_FLAGS=

EXTRA_LOBJS=
LEADING_UNDERSCORE=
GNU_LD=1
add-defs1 FreeBSD
using FreeBSD.defs
[graveyard] /usr/ports/lang/gcl-stable 12:10 PM # exit

Script done on Fri Aug 13 12:10:35 2004