CVS commit: pkgsrc/math/py-z3solver/patches

["Joerg Sonnenberger" <joerg%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   joerg
Date:           Wed Mar 18 19:29:18 UTC 2020

Added Files:
        pkgsrc/math/py-z3solver/patches:
            patch-core_src_util_lp_permutation__matrix.h

Log Message:
Fix vector to element array conversion


To generate a diff of this commit:
cvs rdiff -u -r0 -r1.1 \
    pkgsrc/math/py-z3solver/patches/patch-core_src_util_lp_permutation__matrix.h

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Added files:

Index: pkgsrc/math/py-z3solver/patches/patch-core_src_util_lp_permutation__matrix.h
diff -u /dev/null pkgsrc/math/py-z3solver/patches/patch-core_src_util_lp_permutation__matrix.h:1.1
--- /dev/null   Wed Mar 18 19:29:18 2020
+++ pkgsrc/math/py-z3solver/patches/patch-core_src_util_lp_permutation__matrix.h        Wed Mar 18 19:29:18 2020
@@ -0,0 +1,15 @@
+$NetBSD: patch-core_src_util_lp_permutation__matrix.h,v 1.1 2020/03/18 19:29:18 joerg Exp $
+
+Fixes no conversion from const vector<unsigned> to unsigned int *.
+
+--- core/src/util/lp/permutation_matrix.h.orig 2020-03-18 15:38:20.643552591 +0000
++++ core/src/util/lp/permutation_matrix.h
+@@ -117,7 +117,7 @@ class permutation_matrix : public tail_m
+ 
+         unsigned size() const { return static_cast<unsigned>(m_rev.size()); }
+ 
+-        unsigned * values() const { return m_permutation; }
++        unsigned * values() { return &m_permutation[0]; }
+ 
+         void resize(unsigned size) {
+             unsigned old_size = m_permutation.size();