summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--lang/yap-devel/files/patch-H__TermExt.h2
-rw-r--r--lang/yap-devel/files/patch-H__absmi.h11
-rw-r--r--lang/yap-devel/files/patch-H__amiops.h2
-rw-r--r--lang/yap-devel/files/patch-library__dialect__swi__fli__blobs.c2
-rw-r--r--lang/yap-devel/files/patch-packages__swi-minisat2__C__SolverTypes.h4
5 files changed, 16 insertions, 5 deletions
diff --git a/lang/yap-devel/files/patch-H__TermExt.h b/lang/yap-devel/files/patch-H__TermExt.h
index f59a6ff9879e..a271e35e6975 100644
--- a/lang/yap-devel/files/patch-H__TermExt.h
+++ b/lang/yap-devel/files/patch-H__TermExt.h
@@ -1,5 +1,5 @@
--- ./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
diff --git a/lang/yap-devel/files/patch-H__absmi.h b/lang/yap-devel/files/patch-H__absmi.h
new file mode 100644
index 000000000000..da683a9fec74
--- /dev/null
+++ b/lang/yap-devel/files/patch-H__absmi.h
@@ -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
diff --git a/lang/yap-devel/files/patch-H__amiops.h b/lang/yap-devel/files/patch-H__amiops.h
index 5b7dedb5153f..197a7867ac90 100644
--- a/lang/yap-devel/files/patch-H__amiops.h
+++ b/lang/yap-devel/files/patch-H__amiops.h
@@ -1,5 +1,5 @@
--- ./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
diff --git a/lang/yap-devel/files/patch-library__dialect__swi__fli__blobs.c b/lang/yap-devel/files/patch-library__dialect__swi__fli__blobs.c
index 0a194449ace9..c195f97e454b 100644
--- a/lang/yap-devel/files/patch-library__dialect__swi__fli__blobs.c
+++ b/lang/yap-devel/files/patch-library__dialect__swi__fli__blobs.c
@@ -1,5 +1,5 @@
--- ./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 <Yap.h>
#include <Yatom.h>
diff --git a/lang/yap-devel/files/patch-packages__swi-minisat2__C__SolverTypes.h b/lang/yap-devel/files/patch-packages__swi-minisat2__C__SolverTypes.h
index 463368f07986..f900231ce921 100644
--- a/lang/yap-devel/files/patch-packages__swi-minisat2__C__SolverTypes.h
+++ b/lang/yap-devel/files/patch-packages__swi-minisat2__C__SolverTypes.h
@@ -1,5 +1,5 @@
---- ./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: