diff options
Diffstat (limited to 'lang/yap-devel/files')
-rw-r--r-- | lang/yap-devel/files/patch-H__TermExt.h | 14 | ||||
-rw-r--r-- | lang/yap-devel/files/patch-H__amiops.h | 21 | ||||
-rw-r--r-- | lang/yap-devel/files/patch-Makefile.in | 20 | ||||
-rw-r--r-- | lang/yap-devel/files/patch-configure | 19 | ||||
-rw-r--r-- | lang/yap-devel/files/patch-library__dialect__swi__fli__blobs.c | 10 | ||||
-rw-r--r-- | lang/yap-devel/files/patch-packages_swi-minisat2_C_SolverTypes.h | 13 |
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); } |