summaryrefslogtreecommitdiff
path: root/lang/yap-devel/files
diff options
context:
space:
mode:
Diffstat (limited to 'lang/yap-devel/files')
-rw-r--r--lang/yap-devel/files/patch-H__TermExt.h14
-rw-r--r--lang/yap-devel/files/patch-H__amiops.h21
-rw-r--r--lang/yap-devel/files/patch-Makefile.in20
-rw-r--r--lang/yap-devel/files/patch-configure19
-rw-r--r--lang/yap-devel/files/patch-library__dialect__swi__fli__blobs.c10
-rw-r--r--lang/yap-devel/files/patch-packages_swi-minisat2_C_SolverTypes.h13
6 files changed, 0 insertions, 97 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 f59a6ff9879e..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-08-13 18:37:02.000000000 -0300
-@@ -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__amiops.h b/lang/yap-devel/files/patch-H__amiops.h
deleted file mode 100644
index 5b7dedb5153f..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-08-13 18:37:02.000000000 -0300
-@@ -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-Makefile.in b/lang/yap-devel/files/patch-Makefile.in
deleted file mode 100644
index 4802950c3c4b..000000000000
--- a/lang/yap-devel/files/patch-Makefile.in
+++ /dev/null
@@ -1,20 +0,0 @@
---- Makefile.in.orig 2015-07-23 15:50:49 UTC
-+++ Makefile.in
-@@ -94,7 +94,7 @@ SO=@SO@
- MAKEINFO=makeinfo
- TEXI2DVI=texi2dvi
- TEXI2HTML=texi2html
--TEXI2PDF=texi2pdf
-+TEXI2PDF=texi2pdf -b
- YAPLIB=@YAPLIB@
- SONAMEFLAG=@SONAMEFLAG@
-
-@@ -1015,7 +1015,7 @@ yap.ps: $(YAPDOCS)
- pdf: yap.pdf
-
- yap.pdf: $(YAPDOCS)
-- $(TEXI2PDF) $(srcdir)/docs/yap.tex
-+ -$(TEXI2PDF) $(srcdir)/docs/yap.tex
-
- clean_docs:
- rm -f *.aux *.ca *.cas *.cn *.cns *.cp *.cps *.cy *.cys *.dvi *.fn *.fns *.ky *.log *.sa *.sas *.sn *.sns *.sy *.sys *~ *.tp *.vr *.toc *.pg
diff --git a/lang/yap-devel/files/patch-configure b/lang/yap-devel/files/patch-configure
deleted file mode 100644
index 3b7fca675b8e..000000000000
--- a/lang/yap-devel/files/patch-configure
+++ /dev/null
@@ -1,19 +0,0 @@
-https://sourceforge.net/p/yap/yap-6.3/ci/da61f1c31fed
-
---- configure.orig 2013-01-19 11:48:08 UTC
-+++ configure
-@@ -5169,13 +5169,9 @@ then
- C_PARSER_FLAGS="-O3 -Wall -Wstrict-prototypes -Wmissing-prototypes $CFLAGS"
- CFLAGS="-O3 -fomit-frame-pointer -Wall -Wstrict-prototypes -Wmissing-prototypes $CFLAGS"
- case "`$CC --version < /dev/null`" in
-- *3.4*) CFLAGS="-fno-gcse -fno-crossjumping $CFLAGS" ;;
-+ gcc-3.4*) CFLAGS="-fno-gcse -fno-crossjumping $CFLAGS" ;;
- esac
- case "$target_cpu" in
-- i*86*)
-- CFLAGS="-DBP_FREE $CFLAGS"
-- CXXFLAGS="-DBP_FREE $CXXFLAGS"
-- ;;
- sparc*)
- case "$target_os" in
- *solaris2-9*) CFLAGS="-mno-app-regs -DOPTIMISE_ALL_REGS_FOR_SPARC=1 $CFLAGS"
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
deleted file mode 100644
index c195f97e454b..000000000000
--- a/lang/yap-devel/files/patch-library__dialect__swi__fli__blobs.c
+++ /dev/null
@@ -1,10 +0,0 @@
---- ./library/dialect/swi/fli/blobs.c.orig 2013-01-19 07:33:19.000000000 -0200
-+++ ./library/dialect/swi/fli/blobs.c 2013-11-03 01:59:03.000000000 -0200
-@@ -18,6 +18,7 @@
- #include <Yap.h>
- #include <Yatom.h>
-
-+#include <stdio.h>
- #include <string.h>
-
- /* for freeBSD9.1 */
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 6568e2788511..000000000000
--- a/lang/yap-devel/files/patch-packages_swi-minisat2_C_SolverTypes.h
+++ /dev/null
@@ -1,13 +0,0 @@
-https://sourceforge.net/p/yap/yap-6.3/ci/6d2e2597b183
-
---- packages/swi-minisat2/C/SolverTypes.h.orig 2012-06-29 21:30:38 UTC
-+++ packages/swi-minisat2/C/SolverTypes.h
-@@ -119,7 +119,7 @@ public:
-
- // -- use this function instead:
- template<class V>
-- friend Clause* Clause_new(const V& ps, bool learnt = false);
-+ friend Clause* Clause_new(const V& ps, bool learnt);
-
- int size () const { return size_etc >> 3; }
- void shrink (int i) { assert(i <= size()); size_etc = (((size_etc >> 3) - i) << 3) | (size_etc & 7); }