4 files changed, 0 insertions, 67 deletions

diff --git a/lang/yap-devel/files/patch-H__TermExt.h b/lang/yap-devel/files/patch-H__TermExt.h
deleted file mode 100644
index a271e35e6975..000000000000
--- a/lang/yap-devel/files/patch-H__TermExt.h
+++ /dev/null
@@ -1,14 +0,0 @@
---- ./H/TermExt.h.orig	2012-06-30 16:53:59.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)
- 
diff --git a/lang/yap-devel/files/patch-H__absmi.h b/lang/yap-devel/files/patch-H__absmi.h
deleted file mode 100644
index da683a9fec74..000000000000
--- a/lang/yap-devel/files/patch-H__absmi.h
+++ /dev/null
@@ -1,11 +0,0 @@
---- ./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
deleted file mode 100644
index 197a7867ac90..000000000000
--- a/lang/yap-devel/files/patch-H__amiops.h
+++ /dev/null
@@ -1,21 +0,0 @@
---- ./H/amiops.h.orig	2012-06-30 16:53:59.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
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
deleted file mode 100644
index f900231ce921..000000000000
--- a/lang/yap-devel/files/patch-packages__swi-minisat2__C__SolverTypes.h
+++ /dev/null
@@ -1,21 +0,0 @@
---- ./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<class V>
-+Clause* Clause_new(const V&, bool = false);
- 
- class Clause {
-     uint32_t size_etc;
-@@ -119,7 +122,7 @@
- 
-     // -- use this function instead:
-     template<class V>
--    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); }