diff options
| -rw-r--r-- | lang/yap/files/patch-H__absmi.h | 11 | ||||
| -rw-r--r-- | lang/yap/files/patch-library__dialect__swi__fli__blobs.c | 4 | ||||
| -rw-r--r-- | lang/yap/files/patch-packages__swi-minisat2__C__SolverTypes.h | 4 |
3 files changed, 15 insertions, 4 deletions
diff --git a/lang/yap/files/patch-H__absmi.h b/lang/yap/files/patch-H__absmi.h new file mode 100644 index 000000000000..c5dd89c67ba8 --- /dev/null +++ b/lang/yap/files/patch-H__absmi.h @@ -0,0 +1,11 @@ +--- ./H/absmi.h.orig 2013-11-02 21:11:04.000000000 -0200 ++++ ./H/absmi.h 2013-11-02 21:11:12.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/files/patch-library__dialect__swi__fli__blobs.c b/lang/yap/files/patch-library__dialect__swi__fli__blobs.c index 267c78fe33d3..b00f15a2f728 100644 --- a/lang/yap/files/patch-library__dialect__swi__fli__blobs.c +++ b/lang/yap/files/patch-library__dialect__swi__fli__blobs.c @@ -1,5 +1,5 @@ ---- ./library/dialect/swi/fli/blobs.c.orig 2013-06-28 00:56:12.000000000 -0300 -+++ ./library/dialect/swi/fli/blobs.c 2013-06-28 00:56:27.000000000 -0300 +--- ./library/dialect/swi/fli/blobs.c.orig 2010-12-02 09:47:28.000000000 -0200 ++++ ./library/dialect/swi/fli/blobs.c 2013-11-02 21:10:56.000000000 -0200 @@ -18,6 +18,7 @@ #include <Yap.h> #include <Yatom.h> diff --git a/lang/yap/files/patch-packages__swi-minisat2__C__SolverTypes.h b/lang/yap/files/patch-packages__swi-minisat2__C__SolverTypes.h index 8f35ebbf5a22..bf084a24c9fe 100644 --- a/lang/yap/files/patch-packages__swi-minisat2__C__SolverTypes.h +++ b/lang/yap/files/patch-packages__swi-minisat2__C__SolverTypes.h @@ -1,5 +1,5 @@ ---- ./packages/swi-minisat2/C/SolverTypes.h.orig 2013-06-28 00:56:48.000000000 -0300 -+++ ./packages/swi-minisat2/C/SolverTypes.h 2013-06-28 00:57:51.000000000 -0300 +--- ./packages/swi-minisat2/C/SolverTypes.h.orig 2010-10-18 06:48:21.000000000 -0200 ++++ ./packages/swi-minisat2/C/SolverTypes.h 2013-11-02 21:10:56.000000000 -0200 @@ -119,11 +119,7 @@ // -- use this function instead: |