summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKeri Harris <keri@gentoo.org>2019-08-02 10:44:37 +0200
committerKeri Harris <keri@gentoo.org>2019-08-02 10:44:55 +0200
commit7da5f5c35d4b2fe11fed591d74a3e1ebc26f2e37 (patch)
tree358cb67eaad6e20a12d86815ecbf9205f574801b /dev-lang/yap/files/yap-6.3.3-fix-gcc9.patch
parentdev-vcs/subversion: sparc stable wrt bug #690594 (diff)
downloadgentoo-7da5f5c35d4b2fe11fed591d74a3e1ebc26f2e37.tar.gz
gentoo-7da5f5c35d4b2fe11fed591d74a3e1ebc26f2e37.tar.bz2
gentoo-7da5f5c35d4b2fe11fed591d74a3e1ebc26f2e37.zip
dev-lang/yap: consolidate YAP patches
Signed-off-by: Keri Harris <keri@gentoo.org> Package-Manager: Portage-2.3.69, Repoman-2.3.11
Diffstat (limited to 'dev-lang/yap/files/yap-6.3.3-fix-gcc9.patch')
-rw-r--r--dev-lang/yap/files/yap-6.3.3-fix-gcc9.patch27
1 files changed, 0 insertions, 27 deletions
diff --git a/dev-lang/yap/files/yap-6.3.3-fix-gcc9.patch b/dev-lang/yap/files/yap-6.3.3-fix-gcc9.patch
deleted file mode 100644
index f16d29142215..000000000000
--- a/dev-lang/yap/files/yap-6.3.3-fix-gcc9.patch
+++ /dev/null
@@ -1,27 +0,0 @@
-https://bugs.gentoo.org/686048
-
-./SolverTypes.h:122:20: error: friend declaration of ‘Clause* Clause_new(const V&, bool)’ specifies default arguments and isn’t a definition [-fpermissive]
- 122 | friend Clause* Clause_new(const V& ps, bool learnt = false);
- | ^~~~~~~~~~
-
---- a/packages/swi-minisat2/C/SolverTypes.h
-+++ b/packages/swi-minisat2/C/SolverTypes.h
-@@ -97,6 +97,9 @@
- //=================================================================================================
- // Clause -- a simple class for representing a clause:
-
-+class Clause;
-+template<class V>
-+Clause* Clause_new(const V& ps, bool learnt = 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& 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); }