Re: GNU Prolog and GCC 3.4.0

[Roberto Bagnara]

Cesar Rabak wrote:
> Roberto Bagnara escreveu:
> > I have tried to compile GNU Prolog 1.2.16
> > and the snapshot of 1.2.18 with GCC 3.4.0
> > and the compilation fails miserably in both
> > cases.  Is anyone else observing this?
>
> What errors (if too many which is majoritary) gcc spits out?

I attach the final output of make below the signature.

> For which platfor are you trying to build GNU Prolog?

It is a Red Hat 9 system.  Here is the relvant information
(I configured without giving any option to `configure'):

        -------------------------------
        --- 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

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


--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:address@hidden

...
make[1]: Entering directory `/usr/local/distrib/gprolog-1.2.16/src/EnginePl'
gplc -c -C '-O3 ' wam_inst.c
`-mcpu=' is deprecated. Use `-mtune=' or '-march=' instead.
wam_inst.c:73: error: conflicting types for 'Create_Functor_Arity_Tagged'
wam_inst.h:255: error: previous declaration of 'Create_Functor_Arity_Tagged' 
was here
wam_inst.c:73: error: conflicting types for 'Create_Functor_Arity_Tagged'
wam_inst.h:255: error: previous declaration of 'Create_Functor_Arity_Tagged' 
was here
wam_inst.c:90: error: conflicting types for 'Create_Swt_Table'
wam_inst.h:257: error: previous declaration of 'Create_Swt_Table' was here
wam_inst.c:90: error: conflicting types for 'Create_Swt_Table'
wam_inst.h:257: error: previous declaration of 'Create_Swt_Table' was here
wam_inst.c:110: error: conflicting types for 'Create_Swt_Atm_Element'
wam_inst.h:259: error: previous declaration of 'Create_Swt_Atm_Element' was here
wam_inst.c:110: error: conflicting types for 'Create_Swt_Atm_Element'
wam_inst.h:259: error: previous declaration of 'Create_Swt_Atm_Element' was here
wam_inst.c:128: error: conflicting types for 'Create_Swt_Stc_Element'
wam_inst.h:262: error: previous declaration of 'Create_Swt_Stc_Element' was here
wam_inst.c:128: error: conflicting types for 'Create_Swt_Stc_Element'
wam_inst.h:262: error: previous declaration of 'Create_Swt_Stc_Element' was here
wam_inst.c:181: error: conflicting types for 'Get_Atom_Tagged'
wam_inst.h:264: error: previous declaration of 'Get_Atom_Tagged' was here
wam_inst.c:181: error: conflicting types for 'Get_Atom_Tagged'
wam_inst.h:264: error: previous declaration of 'Get_Atom_Tagged' was here
wam_inst.c:204: error: conflicting types for 'Get_Atom'
wam_inst.h:266: error: previous declaration of 'Get_Atom' was here
wam_inst.c:204: error: conflicting types for 'Get_Atom'
wam_inst.h:266: error: previous declaration of 'Get_Atom' was here
wam_inst.c:218: error: conflicting types for 'Get_Integer_Tagged'
wam_inst.h:268: error: previous declaration of 'Get_Integer_Tagged' was here
wam_inst.c:218: error: conflicting types for 'Get_Integer_Tagged'
wam_inst.h:268: error: previous declaration of 'Get_Integer_Tagged' was here
wam_inst.c:246: error: conflicting types for 'Get_Integer'
wam_inst.h:270: error: previous declaration of 'Get_Integer' was here
wam_inst.c:246: error: conflicting types for 'Get_Integer'
wam_inst.h:270: error: previous declaration of 'Get_Integer' was here
wam_inst.c:260: error: conflicting types for 'Get_Float'
wam_inst.h:272: error: previous declaration of 'Get_Float' was here
wam_inst.c:260: error: conflicting types for 'Get_Float'
wam_inst.h:272: error: previous declaration of 'Get_Float' was here
wam_inst.c:284: error: conflicting types for 'Get_Nil'
wam_inst.h:274: error: previous declaration of 'Get_Nil' was here
wam_inst.c:284: error: conflicting types for 'Get_Nil'
wam_inst.h:274: error: previous declaration of 'Get_Nil' was here
wam_inst.c:307: error: conflicting types for 'Get_List'
wam_inst.h:276: error: previous declaration of 'Get_List' was here
wam_inst.c:307: error: conflicting types for 'Get_List'
wam_inst.h:276: error: previous declaration of 'Get_List' was here
wam_inst.c:337: error: conflicting types for 'Get_Structure_Tagged'
wam_inst.h:278: error: previous declaration of 'Get_Structure_Tagged' was here
wam_inst.c:337: error: conflicting types for 'Get_Structure_Tagged'
wam_inst.h:278: error: previous declaration of 'Get_Structure_Tagged' was here
wam_inst.c:376: error: conflicting types for 'Get_Structure'
wam_inst.h:280: error: previous declaration of 'Get_Structure' was here
wam_inst.c:376: error: conflicting types for 'Get_Structure'
wam_inst.h:280: error: previous declaration of 'Get_Structure' was here
wam_inst.c:390: error: conflicting types for 'Put_X_Variable'
wam_inst.h:282: error: previous declaration of 'Put_X_Variable' was here
wam_inst.c:390: error: conflicting types for 'Put_X_Variable'
wam_inst.h:282: error: previous declaration of 'Put_X_Variable' was here
wam_inst.c:411: error: conflicting types for 'Put_Y_Variable'
wam_inst.h:284: error: previous declaration of 'Put_Y_Variable' was here
wam_inst.c:411: error: conflicting types for 'Put_Y_Variable'
wam_inst.h:284: error: previous declaration of 'Put_Y_Variable' was here
wam_inst.c:425: error: conflicting types for 'Put_Unsafe_Value'
wam_inst.h:286: error: previous declaration of 'Put_Unsafe_Value' was here
wam_inst.c:425: error: conflicting types for 'Put_Unsafe_Value'
wam_inst.h:286: error: previous declaration of 'Put_Unsafe_Value' was here
wam_inst.c:453: error: conflicting types for 'Put_Atom_Tagged'
wam_inst.h:288: error: previous declaration of 'Put_Atom_Tagged' was here
wam_inst.c:453: error: conflicting types for 'Put_Atom_Tagged'
wam_inst.h:288: error: previous declaration of 'Put_Atom_Tagged' was here
wam_inst.c:467: error: conflicting types for 'Put_Atom'
wam_inst.h:290: error: previous declaration of 'Put_Atom' was here
wam_inst.c:467: error: conflicting types for 'Put_Atom'
wam_inst.h:290: error: previous declaration of 'Put_Atom' was here
wam_inst.c:481: error: conflicting types for 'Put_Integer_Tagged'
wam_inst.h:292: error: previous declaration of 'Put_Integer_Tagged' was here
wam_inst.c:481: error: conflicting types for 'Put_Integer_Tagged'
wam_inst.h:292: error: previous declaration of 'Put_Integer_Tagged' was here
wam_inst.c:495: error: conflicting types for 'Put_Integer'
wam_inst.h:294: error: previous declaration of 'Put_Integer' was here
wam_inst.c:495: error: conflicting types for 'Put_Integer'
wam_inst.h:294: error: previous declaration of 'Put_Integer' was here
wam_inst.c:509: error: conflicting types for 'Put_Float'
wam_inst.h:296: error: previous declaration of 'Put_Float' was here
wam_inst.c:509: error: conflicting types for 'Put_Float'
wam_inst.h:296: error: previous declaration of 'Put_Float' was here
wam_inst.c:527: error: conflicting types for 'Put_Nil'
wam_inst.h:298: error: previous declaration of 'Put_Nil' was here
wam_inst.c:527: error: conflicting types for 'Put_Nil'
wam_inst.h:298: error: previous declaration of 'Put_Nil' was here
wam_inst.c:541: error: conflicting types for 'Put_List'
wam_inst.h:300: error: previous declaration of 'Put_List' was here
wam_inst.c:541: error: conflicting types for 'Put_List'
wam_inst.h:300: error: previous declaration of 'Put_List' was here
wam_inst.c:556: error: conflicting types for 'Put_Structure_Tagged'
wam_inst.h:302: error: previous declaration of 'Put_Structure_Tagged' was here
wam_inst.c:556: error: conflicting types for 'Put_Structure_Tagged'
wam_inst.h:302: error: previous declaration of 'Put_Structure_Tagged' was here
wam_inst.c:574: error: conflicting types for 'Put_Structure'
wam_inst.h:304: error: previous declaration of 'Put_Structure' was here
wam_inst.c:574: error: conflicting types for 'Put_Structure'
wam_inst.h:304: error: previous declaration of 'Put_Structure' was here
wam_inst.c:588: error: conflicting types for 'Unify_Variable'
wam_inst.h:306: error: previous declaration of 'Unify_Variable' was here
wam_inst.c:588: error: conflicting types for 'Unify_Variable'
wam_inst.h:306: error: previous declaration of 'Unify_Variable' was here
wam_inst.c:619: error: conflicting types for 'Unify_Void'
wam_inst.h:308: error: previous declaration of 'Unify_Void' was here
wam_inst.c:619: error: conflicting types for 'Unify_Void'
wam_inst.h:308: error: previous declaration of 'Unify_Void' was here
wam_inst.c:648: error: conflicting types for 'Unify_Value'
wam_inst.h:310: error: previous declaration of 'Unify_Value' was here
wam_inst.c:648: error: conflicting types for 'Unify_Value'
wam_inst.h:310: error: previous declaration of 'Unify_Value' was here
wam_inst.c:666: error: conflicting types for 'Unify_Local_Value'
wam_inst.h:312: error: previous declaration of 'Unify_Local_Value' was here
wam_inst.c:666: error: conflicting types for 'Unify_Local_Value'
wam_inst.h:312: error: previous declaration of 'Unify_Local_Value' was here
wam_inst.c:696: error: conflicting types for 'Unify_Atom_Tagged'
wam_inst.h:314: error: previous declaration of 'Unify_Atom_Tagged' was here
wam_inst.c:696: error: conflicting types for 'Unify_Atom_Tagged'
wam_inst.h:314: error: previous declaration of 'Unify_Atom_Tagged' was here
wam_inst.c:727: error: conflicting types for 'Unify_Atom'
wam_inst.h:316: error: previous declaration of 'Unify_Atom' was here
wam_inst.c:727: error: conflicting types for 'Unify_Atom'
wam_inst.h:316: error: previous declaration of 'Unify_Atom' was here
wam_inst.c:741: error: conflicting types for 'Unify_Integer_Tagged'
wam_inst.h:318: error: previous declaration of 'Unify_Integer_Tagged' was here
wam_inst.c:741: error: conflicting types for 'Unify_Integer_Tagged'
wam_inst.h:318: error: previous declaration of 'Unify_Integer_Tagged' was here
wam_inst.c:776: error: conflicting types for 'Unify_Integer'
wam_inst.h:320: error: previous declaration of 'Unify_Integer' was here
wam_inst.c:776: error: conflicting types for 'Unify_Integer'
wam_inst.h:320: error: previous declaration of 'Unify_Integer' was here
wam_inst.c:790: error: conflicting types for 'Unify_Nil'
wam_inst.h:322: error: previous declaration of 'Unify_Nil' was here
wam_inst.c:790: error: conflicting types for 'Unify_Nil'
wam_inst.h:322: error: previous declaration of 'Unify_Nil' was here
wam_inst.c:820: error: conflicting types for 'Unify_List'
wam_inst.h:324: error: previous declaration of 'Unify_List' was here
wam_inst.c:820: error: conflicting types for 'Unify_List'
wam_inst.h:324: error: previous declaration of 'Unify_List' was here
wam_inst.c:843: error: conflicting types for 'Unify_Structure_Tagged'
wam_inst.h:326: error: previous declaration of 'Unify_Structure_Tagged' was here
wam_inst.c:843: error: conflicting types for 'Unify_Structure_Tagged'
wam_inst.h:326: error: previous declaration of 'Unify_Structure_Tagged' was here
wam_inst.c:867: error: conflicting types for 'Unify_Structure'
wam_inst.h:328: error: previous declaration of 'Unify_Structure' was here
wam_inst.c:867: error: conflicting types for 'Unify_Structure'
wam_inst.h:328: error: previous declaration of 'Unify_Structure' was here
wam_inst.c:880: error: conflicting types for 'Globalize_If_In_Local'
wam_inst.h:330: error: previous declaration of 'Globalize_If_In_Local' was here
wam_inst.c:880: error: conflicting types for 'Globalize_If_In_Local'
wam_inst.h:330: error: previous declaration of 'Globalize_If_In_Local' was here
wam_inst.c:905: error: conflicting types for 'Allocate'
wam_inst.h:332: error: previous declaration of 'Allocate' was here
wam_inst.c:905: error: conflicting types for 'Allocate'
wam_inst.h:332: error: previous declaration of 'Allocate' was here
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' was here
wam_inst.c:938: error: conflicting types for 'Deallocate'
wam_inst.h:334: error: previous declaration of 'Deallocate' was here
wam_inst.c:957: error: conflicting types for 'Switch_On_Term'
wam_inst.h:337: error: previous declaration of 'Switch_On_Term' was here
wam_inst.c:957: error: conflicting types for 'Switch_On_Term'
wam_inst.h:337: error: previous declaration of 'Switch_On_Term' was here
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' was here
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' was here
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' was here
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' was here
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' was 
here
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' was 
here
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' was 
here
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' was 
here
wam_inst.c:1094: error: conflicting types for 'Switch_On_Atom'
wam_inst.h:345: error: previous declaration of 'Switch_On_Atom' was here
wam_inst.c:1094: error: conflicting types for 'Switch_On_Atom'
wam_inst.h:345: error: previous declaration of 'Switch_On_Atom' was here
wam_inst.c:1116: error: conflicting types for 'Switch_On_Integer'
wam_inst.h:347: error: previous declaration of 'Switch_On_Integer' was here
wam_inst.c:1116: error: conflicting types for 'Switch_On_Integer'
wam_inst.h:347: error: previous declaration of 'Switch_On_Integer' was here
wam_inst.c:1134: error: conflicting types for 'Switch_On_Structure'
wam_inst.h:349: error: previous declaration of 'Switch_On_Structure' was here
wam_inst.c:1134: error: conflicting types for 'Switch_On_Structure'
wam_inst.h:349: error: previous declaration of 'Switch_On_Structure' was here
wam_inst.c:1152: error: conflicting types for 'Load_Cut_Level'
wam_inst.h:351: error: previous declaration of 'Load_Cut_Level' was here
wam_inst.c:1152: error: conflicting types for 'Load_Cut_Level'
wam_inst.h:351: error: previous declaration of 'Load_Cut_Level' was here
wam_inst.c:1166: error: conflicting types for 'Cut'
wam_inst.h:353: error: previous declaration of 'Cut' was here
wam_inst.c:1166: error: conflicting types for 'Cut'
wam_inst.h:353: error: previous declaration of 'Cut' was here
wam_inst.c:1183: error: conflicting types for 'Global_Push_Float'
wam_inst.h:355: error: previous declaration of 'Global_Push_Float' was here
wam_inst.c:1183: error: conflicting types for 'Global_Push_Float'
wam_inst.h:355: error: previous declaration of 'Global_Push_Float' was here
wam_inst.c:1203: error: conflicting types for 'Obtain_Float'
wam_inst.h:357: error: previous declaration of 'Obtain_Float' was here
wam_inst.c:1203: error: conflicting types for 'Obtain_Float'
wam_inst.h:357: error: previous declaration of 'Obtain_Float' was here
wam_inst.c:1275: error: conflicting types for 'Create_Choice_Point'
wam_inst.h:360: error: previous declaration of 'Create_Choice_Point' was here
wam_inst.c:1275: error: conflicting types for 'Create_Choice_Point'
wam_inst.h:360: error: previous declaration of 'Create_Choice_Point' was here
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' was here
wam_inst.c:1288: error: conflicting types for 'Create_Choice_Point1'
wam_inst.h:361: error: previous declaration of 'Create_Choice_Point1' was here
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' was here
wam_inst.c:1299: error: conflicting types for 'Create_Choice_Point2'
wam_inst.h:362: error: previous declaration of 'Create_Choice_Point2' was here
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' was here
wam_inst.c:1311: error: conflicting types for 'Create_Choice_Point3'
wam_inst.h:363: error: previous declaration of 'Create_Choice_Point3' was here
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' was here
wam_inst.c:1324: error: conflicting types for 'Create_Choice_Point4'
wam_inst.h:364: error: previous declaration of 'Create_Choice_Point4' was here
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' was here
wam_inst.c:1344: error: conflicting types for 'Update_Choice_Point'
wam_inst.h:367: error: previous declaration of 'Update_Choice_Point' was here
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' was here
wam_inst.c:1357: error: conflicting types for 'Update_Choice_Point1'
wam_inst.h:368: error: previous declaration of 'Update_Choice_Point1' was here
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' was here
wam_inst.c:1368: error: conflicting types for 'Update_Choice_Point2'
wam_inst.h:369: error: previous declaration of 'Update_Choice_Point2' was here
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' was here
wam_inst.c:1380: error: conflicting types for 'Update_Choice_Point3'
wam_inst.h:370: error: previous declaration of 'Update_Choice_Point3' was here
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' was here
wam_inst.c:1393: error: conflicting types for 'Update_Choice_Point4'
wam_inst.h:371: error: previous declaration of 'Update_Choice_Point4' was here
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' was here
wam_inst.c:1412: error: conflicting types for 'Delete_Choice_Point'
wam_inst.h:373: error: previous declaration of 'Delete_Choice_Point' was here
wam_inst.c:1425: error: conflicting types for 'Delete_Choice_Point1'
wam_inst.h:374: error: previous declaration of 'Delete_Choice_Point1' was here
wam_inst.c:1425: error: conflicting types for 'Delete_Choice_Point1'
wam_inst.h:374: error: previous declaration of 'Delete_Choice_Point1' was here
wam_inst.c:1436: error: conflicting types for 'Delete_Choice_Point2'
wam_inst.h:375: error: previous declaration of 'Delete_Choice_Point2' was here
wam_inst.c:1436: error: conflicting types for 'Delete_Choice_Point2'
wam_inst.h:375: error: previous declaration of 'Delete_Choice_Point2' was here
wam_inst.c:1448: error: conflicting types for 'Delete_Choice_Point3'
wam_inst.h:376: error: previous declaration of 'Delete_Choice_Point3' was here
wam_inst.c:1448: error: conflicting types for 'Delete_Choice_Point3'
wam_inst.h:376: error: previous declaration of 'Delete_Choice_Point3' was here
wam_inst.c:1461: error: conflicting types for 'Delete_Choice_Point4'
wam_inst.h:377: error: previous declaration of 'Delete_Choice_Point4' was here
wam_inst.c:1461: error: conflicting types for 'Delete_Choice_Point4'
wam_inst.h:377: error: previous declaration of 'Delete_Choice_Point4' was here
wam_inst.c:1479: error: conflicting types for 'Untrail'
wam_inst.h:379: error: previous declaration of 'Untrail' was here
wam_inst.c:1479: error: conflicting types for 'Untrail'
wam_inst.h:379: error: previous declaration of 'Untrail' was here
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' was here
unify.c:38: error: conflicting types for 'Unify'
wam_inst.h:381: error: previous declaration of 'Unify' was here
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' was here
unify.c:38: error: conflicting types for 'Unify_Occurs_Check'
wam_inst.h:383: error: previous declaration of 'Unify_Occurs_Check' was here
compilation failed
make[1]: *** [wam_inst.o] Error 1
make[1]: Leaving directory `/usr/local/distrib/gprolog-1.2.16/src/EnginePl'
make: *** [all] Error 1