bug-prolog
[Top][All Lists]
Advanced

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

Unable to simply compile gprolog


From: Hugo Costelha
Subject: Unable to simply compile gprolog
Date: Fri, 7 May 2004 17:29:06 +0100
User-agent: KMail/1.6.2

Hi,

I sent a similar message to the users list, but maybe I should had posted it 
here.

Trying to compile either gprolog-1.2.16, gprolog-1.2.17 or the latest release 
(gprolog-20040317) under SuSE 9.1, with gcc 3.3.3 fails. The system is a 
centrino laptop. In the end are the outputs of the configure and make 
commands.

If I issue configure with the command "./configure 
--with-c-flags='-DNO_USE_FAST_CALL'" I can proceed the compilation, but it 
fails with the following:
gplc -c --fast-math fd2c.pl
Fatal Error: Segmentation Violation

What's the problem here? 

Thanks in advanced for any help.

Hugo


--------------------------------------------------------------------------
-------------------------------> ./configure

checking for gcc... gcc
checking for C compiler default output... 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 gcc accepts -g... yes
checking for gcc option to accept ANSI C... none needed
checking for ranlib... ranlib
checking whether make sets $(MAKE)... yes
checking for a BSD-compatible install... /usr/bin/install -c
checking whether ln -s works... yes
checking build system type... i686-pc-linux-gnu
checking host system type... i686-pc-linux-gnu
checking how to run the C preprocessor... gcc -E
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 for long... yes
checking size of long... 4
checking sys/ioctl_compat.h usability... no
checking sys/ioctl_compat.h presence... no
checking for sys/ioctl_compat.h... no
checking termios.h usability... yes
checking termios.h presence... yes
checking for termios.h... yes
checking malloc.h usability... yes
checking malloc.h presence... yes
checking for malloc.h... yes
checking for stdlib.h... (cached) yes
checking for unistd.h... (cached) yes
checking for getpagesize... yes
checking for working mmap... yes
checking for mprotect... yes
checking for mallopt... yes
checking for fgetc... yes
checking for inline... inline
checking for socket... yes
checking for gethostbyname... yes
DIRECTORIES
--> Installation:       /usr/local/gprolog-1.2.18
--> Link to binaries:   /usr/local/bin
--> Documentation:      /usr/local/gprolog-1.2.18/doc
--> HTML documentation: /usr/local/gprolog-1.2.18/doc/Html
--> Examples:           /usr/local/gprolog-1.2.18
mv: cannot stat `/tmp/copyright.tex': No such file or directory
configure: creating ./config.status
config.status: creating Makefile
config.status: creating TopComp/Makefile
config.status: creating Pl2Wam/Makefile
config.status: creating Wam2Ma/Makefile
config.status: creating Ma2Asm/Makefile
config.status: creating Fd2C/Makefile
config.status: creating Linedit/Makefile
config.status: creating W32GUICons/Makefile
config.status: creating EnginePl/Makefile
config.status: creating BipsPl/Makefile
config.status: creating EngineFD/Makefile
config.status: creating BipsFD/Makefile
config.status: creating EnginePl/gp_config.h
config.status: EnginePl/gp_config.h is unchanged

-------------------------------> make

(cd EnginePl; make config)
make[1]: Entering directory 
`/home/socrob/Software/GNUProlog/gprolog-1.2.18/src/EnginePl'
gcc -O3 -fomit-frame-pointer  -o pl_config pl_config.c
./pl_config

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

GNU Prolog version: 1.2.18 (Jan 29 2004)
Operating system  : linux-gnu
Processor         : i686
Size of a word    : 32 bits
C compiler        : gcc
C flags           : -O3 -fomit-frame-pointer
C flags machine   : -mcpu=pentiumpro
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 

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

(cd ../TopComp; make gplc)
make[2]: Entering directory 
`/home/socrob/Software/GNUProlog/gprolog-1.2.18/src/TopComp'
gcc -O3 -fomit-frame-pointer -o gplc top_comp.c -lm
make[2]: Leaving directory 
`/home/socrob/Software/GNUProlog/gprolog-1.2.18/src/TopComp'
make[1]: Leaving directory 
`/home/socrob/Software/GNUProlog/gprolog-1.2.18/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 
`/home/socrob/Software/GNUProlog/gprolog-1.2.18/src/TopComp'
gcc -O3 -fomit-frame-pointer -o hexgplc hexfilter.c
make[1]: Leaving directory 
`/home/socrob/Software/GNUProlog/gprolog-1.2.18/src/TopComp'
make[1]: Entering directory 
`/home/socrob/Software/GNUProlog/gprolog-1.2.18/src/EnginePl'
gcc -O3 -fomit-frame-pointer  -o cpp_headers cpp_headers.c
D=`(cd ..;for i in *;do test -d $i && 
X="$X /home/socrob/Software/GNUProlog/gprolog-1.2.18/src/$i";done;echo 
$X)`; ./cpp_headers headers.h gprolog.h $D
gplc -c -C '-O3 -fomit-frame-pointer' obj_begin.c
gplc -c -C '-O3 -fomit-frame-pointer' obj_end.c
gplc -c -C '-O3 -fomit-frame-pointer' machine.c
gplc -c -C '-O3 -fomit-frame-pointer' machine1.c
gplc -c -C '-O3 -fomit-frame-pointer' mem_alloc.c
gplc -c -C '-O3 -fomit-frame-pointer' misc.c
gplc -c -C '-O3 -fomit-frame-pointer' hash.c
gplc -c -C '-O3 -fomit-frame-pointer' obj_chain.c
gplc -c -C '-O3 -fomit-frame-pointer' engine.c
engine.c: In function `Call_Prolog':
engine.c:318: warning: use of cast expressions as lvalues is deprecated
engine.c:331: warning: use of cast expressions as lvalues is deprecated
engine.c: In function `Call_Prolog_Next_Sol':
engine.c:351: warning: use of cast expressions as lvalues is deprecated
engine.c:359: warning: use of cast expressions as lvalues is deprecated
engine.c: In function `Keep_Rest_For_Prolog':
engine.c:380: warning: use of cast expressions as lvalues is deprecated
engine.c:386: warning: use of cast expressions as lvalues is deprecated
gplc -c engine1.c
gplc -c -C '-O3 -fomit-frame-pointer' wam_inst.c
wam_inst.c:73: error: conflicting types for `Create_Functor_Arity_Tagged'
wam_inst.h:255: error: previous declaration of `Create_Functor_Arity_Tagged'
wam_inst.c:90: error: conflicting types for `Create_Swt_Table'
wam_inst.h:257: error: previous declaration of `Create_Swt_Table'
wam_inst.c:110: error: conflicting types for `Create_Swt_Atm_Element'
wam_inst.h:259: error: previous declaration of `Create_Swt_Atm_Element'
wam_inst.c:128: error: conflicting types for `Create_Swt_Stc_Element'
wam_inst.h:262: error: previous declaration of `Create_Swt_Stc_Element'
wam_inst.c:181: error: conflicting types for `Get_Atom_Tagged'
wam_inst.h:264: error: previous declaration of `Get_Atom_Tagged'
wam_inst.c:204: error: conflicting types for `Get_Atom'
wam_inst.h:266: error: previous declaration of `Get_Atom'
wam_inst.c:218: error: conflicting types for `Get_Integer_Tagged'
wam_inst.h:268: error: previous declaration of `Get_Integer_Tagged'
wam_inst.c:246: error: conflicting types for `Get_Integer'
wam_inst.h:270: error: previous declaration of `Get_Integer'
wam_inst.c:260: error: conflicting types for `Get_Float'
wam_inst.h:272: error: previous declaration of `Get_Float'
wam_inst.c:284: error: conflicting types for `Get_Nil'
wam_inst.h:274: error: previous declaration of `Get_Nil'
wam_inst.c:307: error: conflicting types for `Get_List'
wam_inst.h:276: error: previous declaration of `Get_List'
wam_inst.c:337: error: conflicting types for `Get_Structure_Tagged'
wam_inst.h:278: error: previous declaration of `Get_Structure_Tagged'
wam_inst.c:376: error: conflicting types for `Get_Structure'
wam_inst.h:280: error: previous declaration of `Get_Structure'
wam_inst.c:390: error: conflicting types for `Put_X_Variable'
wam_inst.h:282: error: previous declaration of `Put_X_Variable'
wam_inst.c:411: error: conflicting types for `Put_Y_Variable'
wam_inst.h:284: error: previous declaration of `Put_Y_Variable'
wam_inst.c:425: error: conflicting types for `Put_Unsafe_Value'
wam_inst.h:286: error: previous declaration of `Put_Unsafe_Value'
wam_inst.c:453: error: conflicting types for `Put_Atom_Tagged'
wam_inst.h:288: error: previous declaration of `Put_Atom_Tagged'
wam_inst.c:467: error: conflicting types for `Put_Atom'
wam_inst.h:290: error: previous declaration of `Put_Atom'
wam_inst.c:481: error: conflicting types for `Put_Integer_Tagged'
wam_inst.h:292: error: previous declaration of `Put_Integer_Tagged'
wam_inst.c:495: error: conflicting types for `Put_Integer'
wam_inst.h:294: error: previous declaration of `Put_Integer'
wam_inst.c:509: error: conflicting types for `Put_Float'
wam_inst.h:296: error: previous declaration of `Put_Float'
wam_inst.c:527: error: conflicting types for `Put_Nil'
wam_inst.h:298: error: previous declaration of `Put_Nil'
wam_inst.c:541: error: conflicting types for `Put_List'
wam_inst.h:300: error: previous declaration of `Put_List'
wam_inst.c:556: error: conflicting types for `Put_Structure_Tagged'
wam_inst.h:302: error: previous declaration of `Put_Structure_Tagged'
wam_inst.c:574: error: conflicting types for `Put_Structure'
wam_inst.h:304: error: previous declaration of `Put_Structure'
wam_inst.c:588: error: conflicting types for `Unify_Variable'
wam_inst.h:306: error: previous declaration of `Unify_Variable'
wam_inst.c:619: error: conflicting types for `Unify_Void'
wam_inst.h:308: error: previous declaration of `Unify_Void'
wam_inst.c:648: error: conflicting types for `Unify_Value'
wam_inst.h:310: error: previous declaration of `Unify_Value'
wam_inst.c:666: error: conflicting types for `Unify_Local_Value'
wam_inst.h:312: error: previous declaration of `Unify_Local_Value'
wam_inst.c:696: error: conflicting types for `Unify_Atom_Tagged'
wam_inst.h:314: error: previous declaration of `Unify_Atom_Tagged'
wam_inst.c:727: error: conflicting types for `Unify_Atom'
wam_inst.h:316: error: previous declaration of `Unify_Atom'
wam_inst.c:741: error: conflicting types for `Unify_Integer_Tagged'
wam_inst.h:318: error: previous declaration of `Unify_Integer_Tagged'
wam_inst.c:776: error: conflicting types for `Unify_Integer'
wam_inst.h:320: error: previous declaration of `Unify_Integer'
wam_inst.c:790: error: conflicting types for `Unify_Nil'
wam_inst.h:322: error: previous declaration of `Unify_Nil'
wam_inst.c:820: error: conflicting types for `Unify_List'
wam_inst.h:324: error: previous declaration of `Unify_List'
wam_inst.c:843: error: conflicting types for `Unify_Structure_Tagged'
wam_inst.h:326: error: previous declaration of `Unify_Structure_Tagged'
wam_inst.c:867: error: conflicting types for `Unify_Structure'
wam_inst.h:328: error: previous declaration of `Unify_Structure'
wam_inst.c:880: error: conflicting types for `Globalize_If_In_Local'
wam_inst.h:330: error: previous declaration of `Globalize_If_In_Local'
wam_inst.c:905: error: conflicting types for `Allocate'
wam_inst.h:332: error: previous declaration of `Allocate'
wam_inst.c: In function `Allocate':
wam_inst.c:911: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:913: warning: use of cast expressions as lvalues is deprecated
wam_inst.c: At top level:
wam_inst.c:938: error: conflicting types for `Deallocate'
wam_inst.h:334: error: previous declaration of `Deallocate'
wam_inst.c:957: error: conflicting types for `Switch_On_Term'
wam_inst.h:337: error: previous declaration of `Switch_On_Term'
wam_inst.c:983: error: conflicting types for `Switch_On_Term_Var_Atm'
wam_inst.h:338: error: previous declaration of `Switch_On_Term_Var_Atm'
wam_inst.c:1007: error: conflicting types for `Switch_On_Term_Var_Stc'
wam_inst.h:339: error: previous declaration of `Switch_On_Term_Var_Stc'
wam_inst.c:1031: error: conflicting types for `Switch_On_Term_Var_Atm_Lst'
wam_inst.h:341: error: previous declaration of `Switch_On_Term_Var_Atm_Lst'
wam_inst.c:1058: error: conflicting types for `Switch_On_Term_Var_Atm_Stc'
wam_inst.h:343: error: previous declaration of `Switch_On_Term_Var_Atm_Stc'
wam_inst.c:1094: error: conflicting types for `Switch_On_Atom'
wam_inst.h:345: error: previous declaration of `Switch_On_Atom'
wam_inst.c:1116: error: conflicting types for `Switch_On_Integer'
wam_inst.h:347: error: previous declaration of `Switch_On_Integer'
wam_inst.c:1134: error: conflicting types for `Switch_On_Structure'
wam_inst.h:349: error: previous declaration of `Switch_On_Structure'
wam_inst.c:1152: error: conflicting types for `Load_Cut_Level'
wam_inst.h:351: error: previous declaration of `Load_Cut_Level'
wam_inst.c:1166: error: conflicting types for `Cut'
wam_inst.h:353: error: previous declaration of `Cut'
wam_inst.c:1183: error: conflicting types for `Global_Push_Float'
wam_inst.h:355: error: previous declaration of `Global_Push_Float'
wam_inst.c:1203: error: conflicting types for `Obtain_Float'
wam_inst.h:357: error: previous declaration of `Obtain_Float'
wam_inst.c:1275: error: conflicting types for `Create_Choice_Point'
wam_inst.h:360: error: previous declaration of `Create_Choice_Point'
wam_inst.c: In function `Create_Choice_Point':
wam_inst.c:1277: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1277: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1277: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1277: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1277: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1277: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1277: warning: use of cast expressions as lvalues is deprecated
wam_inst.c: At top level:
wam_inst.c:1288: error: conflicting types for `Create_Choice_Point1'
wam_inst.h:361: error: previous declaration of `Create_Choice_Point1'
wam_inst.c: In function `Create_Choice_Point1':
wam_inst.c:1289: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1289: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1289: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1289: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1289: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1289: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1289: warning: use of cast expressions as lvalues is deprecated
wam_inst.c: At top level:
wam_inst.c:1299: error: conflicting types for `Create_Choice_Point2'
wam_inst.h:362: error: previous declaration of `Create_Choice_Point2'
wam_inst.c: In function `Create_Choice_Point2':
wam_inst.c:1300: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1300: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1300: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1300: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1300: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1300: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1300: warning: use of cast expressions as lvalues is deprecated
wam_inst.c: At top level:
wam_inst.c:1311: error: conflicting types for `Create_Choice_Point3'
wam_inst.h:363: error: previous declaration of `Create_Choice_Point3'
wam_inst.c: In function `Create_Choice_Point3':
wam_inst.c:1312: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1312: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1312: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1312: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1312: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1312: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1312: warning: use of cast expressions as lvalues is deprecated
wam_inst.c: At top level:
wam_inst.c:1324: error: conflicting types for `Create_Choice_Point4'
wam_inst.h:364: error: previous declaration of `Create_Choice_Point4'
wam_inst.c: In function `Create_Choice_Point4':
wam_inst.c:1325: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1325: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1325: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1325: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1325: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1325: warning: use of cast expressions as lvalues is deprecated
wam_inst.c:1325: warning: use of cast expressions as lvalues is deprecated
wam_inst.c: At top level:
wam_inst.c:1344: error: conflicting types for `Update_Choice_Point'
wam_inst.h:367: error: previous declaration of `Update_Choice_Point'
wam_inst.c: In function `Update_Choice_Point':
wam_inst.c:1346: warning: use of cast expressions as lvalues is deprecated
wam_inst.c: At top level:
wam_inst.c:1357: error: conflicting types for `Update_Choice_Point1'
wam_inst.h:368: error: previous declaration of `Update_Choice_Point1'
wam_inst.c: In function `Update_Choice_Point1':
wam_inst.c:1358: warning: use of cast expressions as lvalues is deprecated
wam_inst.c: At top level:
wam_inst.c:1368: error: conflicting types for `Update_Choice_Point2'
wam_inst.h:369: error: previous declaration of `Update_Choice_Point2'
wam_inst.c: In function `Update_Choice_Point2':
wam_inst.c:1369: warning: use of cast expressions as lvalues is deprecated
wam_inst.c: At top level:
wam_inst.c:1380: error: conflicting types for `Update_Choice_Point3'
wam_inst.h:370: error: previous declaration of `Update_Choice_Point3'
wam_inst.c: In function `Update_Choice_Point3':
wam_inst.c:1381: warning: use of cast expressions as lvalues is deprecated
wam_inst.c: At top level:
wam_inst.c:1393: error: conflicting types for `Update_Choice_Point4'
wam_inst.h:371: error: previous declaration of `Update_Choice_Point4'
wam_inst.c: In function `Update_Choice_Point4':
wam_inst.c:1394: warning: use of cast expressions as lvalues is deprecated
wam_inst.c: At top level:
wam_inst.c:1412: error: conflicting types for `Delete_Choice_Point'
wam_inst.h:373: error: previous declaration of `Delete_Choice_Point'
wam_inst.c:1425: error: conflicting types for `Delete_Choice_Point1'
wam_inst.h:374: error: previous declaration of `Delete_Choice_Point1'
wam_inst.c:1436: error: conflicting types for `Delete_Choice_Point2'
wam_inst.h:375: error: previous declaration of `Delete_Choice_Point2'
wam_inst.c:1448: error: conflicting types for `Delete_Choice_Point3'
wam_inst.h:376: error: previous declaration of `Delete_Choice_Point3'
wam_inst.c:1461: error: conflicting types for `Delete_Choice_Point4'
wam_inst.h:377: error: previous declaration of `Delete_Choice_Point4'
wam_inst.c:1479: error: conflicting types for `Untrail'
wam_inst.h:379: error: previous declaration of `Untrail'
In file included from wam_inst.c:1524:
unify.c:38: error: conflicting types for `Unify'
wam_inst.h:381: error: previous declaration of `Unify'
In file included from wam_inst.c:1538:
unify.c:38: error: conflicting types for `Unify_Occurs_Check'
wam_inst.h:383: error: previous declaration of `Unify_Occurs_Check'
compilation failed
make[1]: *** [wam_inst.o] Error 1
make[1]: Leaving directory 
`/home/socrob/Software/GNUProlog/gprolog-1.2.18/src/EnginePl'
make: *** [all] Error 1




reply via email to

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