bug-prolog
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

GPROLOG compilation problem FC4


From: Miki Hermann
Subject: GPROLOG compilation problem FC4
Date: Mon, 06 Feb 2006 13:33:26 -0000

Hi.

I tried to install the gprolog-1.2.16 under Fedore Core 4, but it does
not seem to compile. Please, find enclosed the error message and the
configuration log.

Is it a gcc bug?

Thank you for fixing the bug and/or telling me what should I change to
get the compilation running.

You may answer in French or English, as you wish.

Thanks

+++++++++++++++++++++++++++++++++++++++++++++++++

Bonjour,

J'ai essaye d'installer gprolog-1.2.16 sous Fedora Core 4, mais la
distribution actuelle ne semble pas compiler. Je vous prie de trouver
ci-joint le message d'erreur, ainsi que le log de configuration.

Merci de corriger le probleme ou de m'indiquer ce que je dois faire
pour eviter ce probleme.

Amicalement,

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

address@hidden src]# make
(cd EnginePl; make config)
make[1]: Entering directory `/usr/local/src/gprolog/gprolog-1.2.16/src/EnginePl'
gcc -O3   -o pl_config pl_config.c
./pl_config

        -------------------------------
        --- GNU PROLOG INSTALLATION ---
        -------------------------------

GNU Prolog version: 1.2.16 (Sep 19 2002)
Operating system  : linux-gnu
Processor         : i686
Size of a word    : 32 bits
C compiler        : gcc
C flags           : -O3
C flags machine   : -mcpu=pentiumpro -fomit-frame-pointer
Loader flags      :
Loader libraries  : -lm
Use line editor   : Yes
Use piped consult : Yes
Use sockets       : Yes
Use FD solver     : Yes
Use fast call     : Yes
Use machine regs. : Yes
Used register(s)  : ebx ebp

        ------------------------------

(cd ../TopComp; make gplc)
make[2]: Entering directory `/usr/local/src/gprolog/gprolog-1.2.16/src/TopComp'
gcc -O3  -o gplc top_comp.c -lm
make[2]: Leaving directory `/usr/local/src/gprolog/gprolog-1.2.16/src/TopComp'
make[1]: Leaving directory `/usr/local/src/gprolog/gprolog-1.2.16/src/EnginePl'
. ./SETVARS;for i in TopComp EnginePl Wam2Ma Ma2Asm Linedit BipsPl Pl2Wam Fd2C 
EngineFD BipsFD;do (cd $i; make) || exit 1; done;\
(cd TopComp; make gprolog)
make[1]: Entering directory `/usr/local/src/gprolog/gprolog-1.2.16/src/TopComp'
gcc -O3  -o hexgplc hexfilter.c
make[1]: Leaving directory `/usr/local/src/gprolog/gprolog-1.2.16/src/TopComp'
make[1]: Entering directory `/usr/local/src/gprolog/gprolog-1.2.16/src/EnginePl'
gcc -O3   -o cpp_headers cpp_headers.c
D=`(cd ..;for i in *;do test -d $i && X="$X 
/usr/local/src/gprolog/gprolog-1.2.16/src/$i";done;echo $X)`; ./cpp_headers 
headers.h gprolog.h $D
gplc -c -C '-O3 ' obj_begin.c
`-mcpu=' is deprecated. Use `-mtune=' or '-march=' instead.
gplc -c -C '-O3 ' obj_end.c
`-mcpu=' is deprecated. Use `-mtune=' or '-march=' instead.
gplc -c -C '-O3 ' machine.c
`-mcpu=' is deprecated. Use `-mtune=' or '-march=' instead.
gplc -c -C '-O3 ' machine1.c
`-mcpu=' is deprecated. Use `-mtune=' or '-march=' instead.
gplc -c -C '-O3 ' mem_alloc.c
`-mcpu=' is deprecated. Use `-mtune=' or '-march=' instead.
gplc -c -C '-O3 ' misc.c
`-mcpu=' is deprecated. Use `-mtune=' or '-march=' instead.
gplc -c -C '-O3 ' hash.c
`-mcpu=' is deprecated. Use `-mtune=' or '-march=' instead.
gplc -c -C '-O3 ' obj_chain.c
`-mcpu=' is deprecated. Use `-mtune=' or '-march=' instead.
gplc -c -C '-O3 ' engine.c
`-mcpu=' is deprecated. Use `-mtune=' or '-march=' instead.
engine.c: In function âCall_Prologâ:
engine.c:318: error: invalid lvalue in assignment
engine.c:335: error: invalid lvalue in assignment
engine.c: In function âCall_Prolog_Next_Solâ:
engine.c:355: error: invalid lvalue in assignment
engine.c:363: error: invalid lvalue in assignment
engine.c: In function âKeep_Rest_For_Prologâ:
engine.c:384: error: invalid lvalue in assignment
engine.c:390: error: invalid lvalue in assignment
compilation failed
make[1]: *** [engine.o] Error 1
make[1]: Leaving directory `/usr/local/src/gprolog/gprolog-1.2.16/src/EnginePl'
make: *** [all] Error 1

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

This file contains any messages produced by compilers while
running configure, to aid debugging if configure makes a mistake.

It was created by gprolog configure 1.2.16, which was
generated by GNU Autoconf 2.52.  Invocation command line was

  $ ./configure 

## ---------- ##
## Platform.  ##
## ---------- ##

hostname = monet
uname -m = i686
uname -r = 2.6.11-1.1369_FC4
uname -s = Linux
uname -v = #1 Thu Jun 2 22:55:56 EDT 2005

/usr/bin/uname -p = unknown
/bin/uname -X     = unknown

/bin/arch              = i686
/usr/bin/arch -k       = unknown
/usr/convex/getsysinfo = unknown
hostinfo               = unknown
/bin/machine           = unknown
/usr/bin/oslevel       = unknown
/bin/universe          = unknown

PATH = 
/usr/kerberos/sbin:/usr/kerberos/bin:/usr/local/bin:/bin:/usr/bin:/usr/X11R6/bin:.:/home/miki/bin

## ------------ ##
## Core tests.  ##
## ------------ ##

configure:979: PATH=".;."; conftest.sh
./configure: line 980: conftest.sh: command not found
configure:982: $? = 127
configure:1230: checking for gcc
configure:1245: found /usr/bin/gcc
configure:1253: result: gcc
configure:1481: checking for C compiler version
configure:1484: gcc --version </dev/null >&5
gcc (GCC) 4.0.0 20050519 (Red Hat 4.0.0-8)
Copyright (C) 2005 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

configure:1487: $? = 0
configure:1489: gcc -v </dev/null >&5
Using built-in specs.
Target: i386-redhat-linux
Configured with: ../configure --prefix=/usr --mandir=/usr/share/man 
--infodir=/usr/share/info --enable-shared --enable-threads=posix 
--enable-checking=release --with-system-zlib --enable-__cxa_atexit 
--disable-libunwind-exceptions --enable-libgcj-multifile 
--enable-languages=c,c++,objc,java,f95,ada --enable-java-awt=gtk 
--with-java-home=/usr/lib/jvm/java-1.4.2-gcj-1.4.2.0/jre 
--host=i386-redhat-linux
Thread model: posix
gcc version 4.0.0 20050519 (Red Hat 4.0.0-8)
configure:1492: $? = 0
configure:1494: gcc -V </dev/null >&5
gcc: '-V' option must have argument
configure:1497: $? = 1
configure:1517: checking for C compiler default output
configure:1520: gcc    conftest.c  >&5
configure:1523: $? = 0
configure:1552: result: a.out
configure:1557: checking whether the C compiler works
configure:1563: ./a.out
configure:1566: $? = 0
configure:1581: result: yes
configure:1588: checking whether we are cross compiling
configure:1590: result: no
configure:1593: checking for executable suffix
configure:1595: gcc -o conftest    conftest.c  >&5
configure:1598: $? = 0
configure:1620: result: 
configure:1626: checking for object suffix
configure:1644: gcc -c   conftest.c >&5
configure:1647: $? = 0
configure:1666: result: o
configure:1670: checking whether we are using the GNU C compiler
configure:1691: gcc -c   conftest.c >&5
configure:1694: $? = 0
configure:1697: test -s conftest.o
configure:1700: $? = 0
configure:1712: result: yes
configure:1718: checking whether gcc accepts -g
configure:1736: gcc -c -g  conftest.c >&5
configure:1739: $? = 0
configure:1742: test -s conftest.o
configure:1745: $? = 0
configure:1755: result: yes
configure:1782: gcc -c -g -O2  conftest.c >&5
conftest.c:2: error: syntax error before 'me'
configure:1785: $? = 1
configure: failed program was:
#ifndef __cplusplus
  choke me
#endif
configure:1985: checking for ranlib
configure:2000: found /usr/bin/ranlib
configure:2009: result: ranlib
configure:2037: checking whether make sets ${MAKE}
configure:2057: result: yes
configure:2103: checking for a BSD compatible install
configure:2152: result: /usr/bin/install -c
configure:2163: checking whether ln -s works
configure:2167: result: yes
configure:2191: checking build system type
configure:2209: result: i686-pc-linux-gnu
configure:2216: checking host system type
configure:2230: result: i686-pc-linux-gnu
configure:2378: checking how to run the C preprocessor
configure:2404: gcc -E  conftest.c
configure:2410: $? = 0
configure:2437: gcc -E  conftest.c
configure:2434:28: error: ac_nonexistent.h: No such file or directory
configure:2443: $? = 1
configure: failed program was:
#line 2433 "configure"
#include "confdefs.h"
#include <ac_nonexistent.h>
configure:2480: result: gcc -E
configure:2495: gcc -E  conftest.c
configure:2501: $? = 0
configure:2528: gcc -E  conftest.c
configure:2525:28: error: ac_nonexistent.h: No such file or directory
configure:2534: $? = 1
configure: failed program was:
#line 2524 "configure"
#include "confdefs.h"
#include <ac_nonexistent.h>
configure:2573: checking for ANSI C header files
configure:2587: gcc -E  conftest.c
configure:2593: $? = 0
configure:2680: gcc -o conftest -g -O2   conftest.c  >&5
configure: In function 'main':
configure:2672: warning: incompatible implicit declaration of built-in function 
'exit'
configure:2683: $? = 0
configure:2685: ./conftest
configure:2688: $? = 0
configure:2701: result: yes
configure:2717: checking for sys/types.h
configure:2729: gcc -c -g -O2  conftest.c >&5
configure:2732: $? = 0
configure:2735: test -s conftest.o
configure:2738: $? = 0
configure:2748: result: yes
configure:2717: checking for sys/stat.h
configure:2729: gcc -c -g -O2  conftest.c >&5
configure:2732: $? = 0
configure:2735: test -s conftest.o
configure:2738: $? = 0
configure:2748: result: yes
configure:2717: checking for stdlib.h
configure:2729: gcc -c -g -O2  conftest.c >&5
configure:2732: $? = 0
configure:2735: test -s conftest.o
configure:2738: $? = 0
configure:2748: result: yes
configure:2717: checking for string.h
configure:2729: gcc -c -g -O2  conftest.c >&5
configure:2732: $? = 0
configure:2735: test -s conftest.o
configure:2738: $? = 0
configure:2748: result: yes
configure:2717: checking for memory.h
configure:2729: gcc -c -g -O2  conftest.c >&5
configure:2732: $? = 0
configure:2735: test -s conftest.o
configure:2738: $? = 0
configure:2748: result: yes
configure:2717: checking for strings.h
configure:2729: gcc -c -g -O2  conftest.c >&5
configure:2732: $? = 0
configure:2735: test -s conftest.o
configure:2738: $? = 0
configure:2748: result: yes
configure:2717: checking for inttypes.h
configure:2729: gcc -c -g -O2  conftest.c >&5
configure:2732: $? = 0
configure:2735: test -s conftest.o
configure:2738: $? = 0
configure:2748: result: yes
configure:2717: checking for stdint.h
configure:2729: gcc -c -g -O2  conftest.c >&5
configure:2732: $? = 0
configure:2735: test -s conftest.o
configure:2738: $? = 0
configure:2748: result: yes
configure:2717: checking for unistd.h
configure:2729: gcc -c -g -O2  conftest.c >&5
configure:2732: $? = 0
configure:2735: test -s conftest.o
configure:2738: $? = 0
configure:2748: result: yes
configure:2758: checking for long
configure:2779: gcc -c -g -O2  conftest.c >&5
configure:2782: $? = 0
configure:2785: test -s conftest.o
configure:2788: $? = 0
configure:2798: result: yes
configure:2801: checking size of long
configure:2965: gcc -o conftest -g -O2   conftest.c  >&5
configure:2968: $? = 0
configure:2970: ./conftest
configure:2973: $? = 0
configure:2989: result: 4
configure:2998: checking for sys/ioctl_compat.h
configure:3008: gcc -E  conftest.c
configure:3005:30: error: sys/ioctl_compat.h: No such file or directory
configure:3014: $? = 1
configure: failed program was:
#line 3004 "configure"
#include "confdefs.h"
#include <sys/ioctl_compat.h>
configure:3033: result: no
configure:2998: checking for termios.h
configure:3008: gcc -E  conftest.c
configure:3014: $? = 0
configure:3033: result: yes
configure:2998: checking for malloc.h
configure:3008: gcc -E  conftest.c
configure:3014: $? = 0
configure:3033: result: yes
configure:3046: checking for stdlib.h
configure:3081: result: yes
configure:3046: checking for unistd.h
configure:3081: result: yes
configure:3094: checking for getpagesize
configure:3131: gcc -o conftest -g -O2   conftest.c  >&5
configure:3134: $? = 0
configure:3137: test -s conftest
configure:3140: $? = 0
configure:3150: result: yes
configure:3160: checking for working mmap
configure:3296: gcc -o conftest -g -O2   conftest.c  >&5
configure:3299: $? = 0
configure:3301: ./conftest
configure:3304: $? = 0
configure:3316: result: yes
configure:3330: checking for mallopt
configure:3367: gcc -o conftest -g -O2   conftest.c  >&5
configure:3370: $? = 0
configure:3373: test -s conftest
configure:3376: $? = 0
configure:3386: result: yes
configure:3330: checking for fgetc
configure:3367: gcc -o conftest -g -O2   conftest.c  >&5
configure:3370: $? = 0
configure:3373: test -s conftest
configure:3376: $? = 0
configure:3386: result: yes
configure:3403: checking for gcc option to accept ANSI C
configure:3460: gcc  -c -g -O2  conftest.c >&5
configure:3463: $? = 0
configure:3466: test -s conftest.o
configure:3469: $? = 0
configure:3486: result: none needed
configure:3494: checking for inline
configure:3511: gcc -c -g -O2  conftest.c >&5
configure:3514: $? = 0
configure:3517: test -s conftest.o
configure:3520: $? = 0
configure:3531: result: inline
configure:3623: checking for socket
configure:3660: gcc -o conftest -O3    conftest.c  >&5
configure:3663: $? = 0
configure:3666: test -s conftest
configure:3669: $? = 0
configure:3679: result: yes
configure:3743: checking for gethostbyname
configure:3780: gcc -o conftest -O3    conftest.c  >&5
configure:3783: $? = 0
configure:3786: test -s conftest
configure:3789: $? = 0
configure:3799: result: yes
configure:4283: creating ./config.status

## ----------------------- ##
## Running config.status.  ##
## ----------------------- ##

This file was extended by config.status (gprolog 1.2.16) 2.52, executed with
  CONFIG_FILES    = 
  CONFIG_HEADERS  = 
  CONFIG_LINKS    = 
  CONFIG_COMMANDS = 
  > ./config.status 
on monet

config.status:4798: creating Makefile
config.status:4798: creating TopComp/Makefile
config.status:4798: creating Pl2Wam/Makefile
config.status:4798: creating Wam2Ma/Makefile
config.status:4798: creating Ma2Asm/Makefile
config.status:4798: creating Fd2C/Makefile
config.status:4798: creating Linedit/Makefile
config.status:4798: creating W32GUICons/Makefile
config.status:4798: creating EnginePl/Makefile
config.status:4798: creating BipsPl/Makefile
config.status:4798: creating EngineFD/Makefile
config.status:4798: creating BipsFD/Makefile
config.status:4890: creating EnginePl/gp_config.h

## ----------------- ##
## Cache variables.  ##
## ----------------- ##

ac_cv_build=i686-pc-linux-gnu
ac_cv_build_alias=i686-pc-linux-gnu
ac_cv_c_compiler_gnu=yes
ac_cv_c_inline=inline
ac_cv_env_CC_set=
ac_cv_env_CC_value=
ac_cv_env_CFLAGS_set=
ac_cv_env_CFLAGS_value=
ac_cv_env_CPPFLAGS_set=
ac_cv_env_CPPFLAGS_value=
ac_cv_env_CPP_set=
ac_cv_env_CPP_value=
ac_cv_env_LDFLAGS_set=
ac_cv_env_LDFLAGS_value=
ac_cv_env_build_alias_set=
ac_cv_env_build_alias_value=
ac_cv_env_host_alias_set=
ac_cv_env_host_alias_value=
ac_cv_env_target_alias_set=
ac_cv_env_target_alias_value=
ac_cv_func_fgetc=yes
ac_cv_func_gethostbyname=yes
ac_cv_func_getpagesize=yes
ac_cv_func_mallopt=yes
ac_cv_func_mmap_fixed_mapped=yes
ac_cv_func_socket=yes
ac_cv_header_inttypes_h=yes
ac_cv_header_malloc_h=yes
ac_cv_header_memory_h=yes
ac_cv_header_stdc=yes
ac_cv_header_stdint_h=yes
ac_cv_header_stdlib_h=yes
ac_cv_header_string_h=yes
ac_cv_header_strings_h=yes
ac_cv_header_sys_ioctl_compat_h=no
ac_cv_header_sys_stat_h=yes
ac_cv_header_sys_types_h=yes
ac_cv_header_termios_h=yes
ac_cv_header_unistd_h=yes
ac_cv_host=i686-pc-linux-gnu
ac_cv_host_alias=i686-pc-linux-gnu
ac_cv_objext=o
ac_cv_path_install='/usr/bin/install -c'
ac_cv_prog_CPP='gcc -E'
ac_cv_prog_ac_ct_CC=gcc
ac_cv_prog_ac_ct_RANLIB=ranlib
ac_cv_prog_cc_g=yes
ac_cv_prog_cc_stdc=
ac_cv_prog_make_make_set=yes
ac_cv_sizeof_long=4
ac_cv_type_long=yes

## ------------ ##
## confdefs.h.  ##
## ------------ ##

#define M_ix86 1
#define M_linux 1
#define M_ix86_linux 1
#define STDC_HEADERS 1
#define HAVE_SYS_TYPES_H 1
#define HAVE_SYS_STAT_H 1
#define HAVE_STDLIB_H 1
#define HAVE_STRING_H 1
#define HAVE_MEMORY_H 1
#define HAVE_STRINGS_H 1
#define HAVE_INTTYPES_H 1
#define HAVE_STDINT_H 1
#define HAVE_UNISTD_H 1
#define SIZEOF_LONG 4
#define HAVE_TERMIOS_H 1
#define HAVE_MALLOC_H 1
#define HAVE_STDLIB_H 1
#define HAVE_UNISTD_H 1
#define HAVE_GETPAGESIZE 1
#define HAVE_MMAP 1
#define HAVE_MALLOPT 1
#define HAVE_FGETC 1
#define PROLOG_NAME "GNU Prolog"
#define PROLOG_NAME1 "gprolog"
#define PROLOG_VERSION "1.2.16"
#define PROLOG_DATE "Sep 19 2002"
#define PROLOG_COPYRIGHT "Copyright (C) 1999-2002 Daniel Diaz"
#define TOP_LEVEL "gprolog"
#define GPLC "gplc"
#define HEXGPLC "hexgplc"
#define ENV_VARIABLE "PL_PATH"
#define M_CPU "i686"
#define M_VENDOR "pc"
#define M_OS "linux-gnu"
#define CC "gcc"
#define CFLAGS_PREFIX_REG "-ffixed-%s"
#define CFLAGS "-O3 "
#define CFLAGS_MACHINE "-mcpu=pentiumpro -fomit-frame-pointer"
#define LDFLAGS ""
#define LDLIBS "-lm"
#define AS "as"
#define STRIP "strip"
#define ASM_SUFFIX ".s"
#define OBJ_SUFFIX ".o"
#define EXE_SUFFIX ""
#define CC_OBJ_NAME_OPT "-o "
#define CC_EXE_NAME_OPT "-o "
#define DLL_W32GUICONS "w32guicons.dll"
#define LIB_LINEDIT "liblinedit.a"
#define LIB_ENGINE_PL "libengine_pl.a"
#define LIB_BIPS_PL "libbips_pl.a"
#define LIB_ENGINE_FD "libengine_fd.a"
#define LIB_BIPS_FD "libbips_fd.a"
#define NO_USE_GUI_CONSOLE 1


configure: exit 0

-- 
Miki Hermann          | Tel:    (work) +33 (0)1 69 33 46 14
LIX (CNRS, UMR 7161)  | Fax:           +33 (0)1 69 33 30 14
Ecole Polytechnique   | e-mail: address@hidden
91128 Palaiseau       | URL     http://www.lix.polytechnique.fr/~hermann/
France                |

reply via email to

[Prev in Thread] Current Thread [Next in Thread]