These are the errors.... a LOT of errors! 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]: *** Waiting for unfinished jobs.... `-mcpu=' is deprecated. Use `-mtune=' or '-march=' instead. `-mcpu=' is deprecated. Use `-mtune=' or '-march=' instead. engine.c: In function `Call_Prolog': engine.c:318: warning: use of cast expressions as lvalues is deprecated engine.c:335: warning: use of cast expressions as lvalues is deprecated engine.c: In function `Call_Prolog_Next_Sol': engine.c:355: warning: use of cast expressions as lvalues is deprecated engine.c:363: warning: use of cast expressions as lvalues is deprecated engine.c: In function `Keep_Rest_For_Prolog': engine.c:384: warning: use of cast expressions as lvalues is deprecated engine.c:390: warning: use of cast expressions as lvalues is deprecated make[1]: Leaving directory `/var/tmp/portage/gprolog-1.2.16/work/gprolog-1.2.16/ src/EnginePl' make: *** [all] Error 1 !!! ERROR: dev-lang/gprolog-1.2.16 failed. !!! Function src_compile, Line 28, Exitcode 2 !!! make failed !!! If you need support, post the topmost build error, NOT this status message. Reproducible: Always Steps to Reproduce: 1. emerge gprolog Actual Results: The emerge failed Expected Results: The program should have merged succesfully
(In reply to comment #0) wam_inst.h is included by engine_pl.h included in wam_inst.c E.g. the first error was: 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 now, code from wam_inst.c: WamWord Create_Functor_Arity_Tagged(char *func_str, int arity) { int func = Create_Atom(func_str); return Functor_Arity(func, arity); } and code from wam_install.h: WamWord Create_Functor_Arity_Tagged(char *func_str, int arity) FC;
(In reply to comment #1) ok the program compiles if I remove all these "FC" from wam_inst.h, for example turning "WamWord Create_Functor_Arity_Tagged(char *func_str, int arity) FC;" into "WamWord Create_Functor_Arity_Tagged(char *func_str, int arity);" ... but.. what did that FCs mean? If some of you think this could be an acceptable solution i'll post the .diff file for a patch best regards
Bug #65076 have a patch that fix this problem here.
Created attachment 76425 [details, diff] gprolog-1.2.16-gcc-3.4.patch This error is due to compiling with later versions of gcc. gprolog-1.2.16 will fail to compile with >=gcc-3.3.3 for three reasons: 1. gcc-3.3.3 and later versions are much stricter on declarations. __attribute(...)__ must always appear in the function definition as well as in the forward declarations. 2. When handling gprolog's object chains, __attribute__((used)) must be declared so that unused static variables are still emitted by gcc. This ensures that domains errors are not generated. 3. The trail stack is not byte-aligned with later versions of gcc; this causes the prolog compiler to segfault. The patch ensures tags pushed and popped are aligned correctly. Find attached a patch to resolve these issues.
One point I neglected to raise: this patch will not work with the existant gcc4.patch used by the ebuild; this patch will only work with gcc-3.4 if applied singularly.
gprolog-1.2.19 has been committed to cvs. The compilation issues discussed in comment #4 are addressed in this latest version.
*** Bug 130408 has been marked as a duplicate of this bug. ***
