Index: head/lang/yap-devel/files/patch-H__TermExt.h =================================================================== --- head/lang/yap-devel/files/patch-H__TermExt.h (revision 332635) +++ head/lang/yap-devel/files/patch-H__TermExt.h (revision 332636) @@ -1,14 +1,14 @@ --- ./H/TermExt.h.orig 2012-06-30 16:53:59.000000000 -0300 -+++ ./H/TermExt.h 2013-08-13 18:37:02.000000000 -0300 ++++ ./H/TermExt.h 2013-11-03 01:59:03.000000000 -0200 @@ -217,7 +217,11 @@ #if SIZEOF_DOUBLE == 2*SIZEOF_LONG_INT +#ifdef __amd64__ INLINE_ONLY inline EXTERN void AlignGlobalForDouble( USES_REGS1 ); +#else +inline EXTERN void AlignGlobalForDouble( USES_REGS1 ); +#endif #define DOUBLE_ALIGNED(ADDR) ((CELL)(ADDR) & 0x4) Index: head/lang/yap-devel/files/patch-H__absmi.h =================================================================== --- head/lang/yap-devel/files/patch-H__absmi.h (nonexistent) +++ head/lang/yap-devel/files/patch-H__absmi.h (revision 332636) @@ -0,0 +1,11 @@ +--- ./H/absmi.h.orig 2013-11-03 01:59:20.000000000 -0200 ++++ ./H/absmi.h 2013-11-03 01:59:48.000000000 -0200 +@@ -74,7 +74,7 @@ + * Use bp as PREG for X86 machines * + ***************************************************************/ + #if defined(IN_ABSMI_C) +-register struct yami* P1REG asm ("bp"); /* can't use yamop before Yap.h */ ++struct yami* P1REG asm ("bp"); /* can't use yamop before Yap.h */ + #define PREG P1REG + #endif + #define NEEDS_TO_SET_PC 1 Property changes on: head/lang/yap-devel/files/patch-H__absmi.h ___________________________________________________________________ Added: fbsd:nokeywords ## -0,0 +1 ## +yes \ No newline at end of property Added: svn:eol-style ## -0,0 +1 ## +native \ No newline at end of property Added: svn:mime-type ## -0,0 +1 ## +text/plain \ No newline at end of property Index: head/lang/yap-devel/files/patch-H__amiops.h =================================================================== --- head/lang/yap-devel/files/patch-H__amiops.h (revision 332635) +++ head/lang/yap-devel/files/patch-H__amiops.h (revision 332636) @@ -1,21 +1,21 @@ --- ./H/amiops.h.orig 2012-06-30 16:53:59.000000000 -0300 -+++ ./H/amiops.h 2013-08-13 18:37:02.000000000 -0300 ++++ ./H/amiops.h 2013-11-03 01:59:03.000000000 -0200 @@ -102,10 +102,18 @@ #if SIZEOF_DOUBLE == 2*SIZEOF_LONG_INT +#ifdef __amd64__ INLINE_ONLY EXTERN inline void +#else +EXTERN inline void +#endif AlignGlobalForDouble( USES_REGS1 ); +#ifdef __amd64__ INLINE_ONLY EXTERN inline void +#else +EXTERN inline void +#endif AlignGlobalForDouble( USES_REGS1 ) { /* Force Alignment for floats. Note that garbage collector may Index: head/lang/yap-devel/files/patch-library__dialect__swi__fli__blobs.c =================================================================== --- head/lang/yap-devel/files/patch-library__dialect__swi__fli__blobs.c (revision 332635) +++ head/lang/yap-devel/files/patch-library__dialect__swi__fli__blobs.c (revision 332636) @@ -1,10 +1,10 @@ --- ./library/dialect/swi/fli/blobs.c.orig 2013-01-19 07:33:19.000000000 -0200 -+++ ./library/dialect/swi/fli/blobs.c 2013-08-13 18:37:02.000000000 -0300 ++++ ./library/dialect/swi/fli/blobs.c 2013-11-03 01:59:03.000000000 -0200 @@ -18,6 +18,7 @@ #include #include +#include #include /* for freeBSD9.1 */ Index: head/lang/yap-devel/files/patch-packages__swi-minisat2__C__SolverTypes.h =================================================================== --- head/lang/yap-devel/files/patch-packages__swi-minisat2__C__SolverTypes.h (revision 332635) +++ head/lang/yap-devel/files/patch-packages__swi-minisat2__C__SolverTypes.h (revision 332636) @@ -1,21 +1,21 @@ ---- ./packages/swi-minisat2/C/SolverTypes.h.orig 2013-08-13 18:37:17.000000000 -0300 -+++ ./packages/swi-minisat2/C/SolverTypes.h 2013-08-13 18:38:31.000000000 -0300 +--- ./packages/swi-minisat2/C/SolverTypes.h.orig 2012-06-29 18:30:38.000000000 -0300 ++++ ./packages/swi-minisat2/C/SolverTypes.h 2013-11-03 01:59:03.000000000 -0200 @@ -97,6 +97,9 @@ //================================================================================================= // Clause -- a simple class for representing a clause: +class Clause; +template +Clause* Clause_new(const V&, bool = false); class Clause { uint32_t size_etc; @@ -119,7 +122,7 @@ // -- use this function instead: template - friend Clause* Clause_new(const V& ps, bool learnt = false); + friend Clause* Clause_new(const V&, bool); int size () const { return size_etc >> 3; } void shrink (int i) { assert(i <= size()); size_etc = (((size_etc >> 3) - i) << 3) | (size_etc & 7); }