[pkgsrc/trunk]: pkgsrc/math/z3 z3: rlim_t fixes.

[jperkin <jperkin%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/76cd51fe9aba
branches:  trunk
changeset: 385864:76cd51fe9aba
user:      jperkin <jperkin%pkgsrc.org@localhost>
date:      Mon Oct 01 11:21:03 2018 +0000

description:
z3: rlim_t fixes.

diffstat:

 math/z3/distinfo                               |   3 ++-
 math/z3/patches/patch-src_interp_iz3interp.cpp |  15 +++++++++++++++
 2 files changed, 17 insertions(+), 1 deletions(-)

diffs (35 lines):

diff -r 0b61407e724d -r 76cd51fe9aba math/z3/distinfo
--- a/math/z3/distinfo  Mon Oct 01 10:57:36 2018 +0000
+++ b/math/z3/distinfo  Mon Oct 01 11:21:03 2018 +0000
@@ -1,4 +1,4 @@
-$NetBSD: distinfo,v 1.6 2018/06/15 15:11:34 jperkin Exp $
+$NetBSD: distinfo,v 1.7 2018/10/01 11:21:03 jperkin Exp $
 
 SHA1 (z3-4.5.0.tar.gz) = 6f4e94e025fcc2fa2896524d8fbb9de0b3033854
 RMD160 (z3-4.5.0.tar.gz) = 81121307ac83f42989da49efda31964a94f7f5d5
@@ -6,5 +6,6 @@
 Size (z3-4.5.0.tar.gz) = 3573695 bytes
 SHA1 (patch-configure) = 8d5fe787f15fe781c3c23cee27058f898de8c95e
 SHA1 (patch-scripts_mk__util.py) = f3c6f13daeffb31e01f0ad50ca2c0dab2cdb87a2
+SHA1 (patch-src_interp_iz3interp.cpp) = d646a78e8469ea83829ad2f4b8bb2c4a9155e6f1
 SHA1 (patch-src_util_scoped__timer.cpp) = 68e0bdee94d54c93f3d493bf71abebcdccd921ba
 SHA1 (patch-src_util_stopwatch.h) = dbeab175ed4f507d5378f1966f8ed173c4c9a9a7
diff -r 0b61407e724d -r 76cd51fe9aba math/z3/patches/patch-src_interp_iz3interp.cpp
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/z3/patches/patch-src_interp_iz3interp.cpp    Mon Oct 01 11:21:03 2018 +0000
@@ -0,0 +1,15 @@
+$NetBSD: patch-src_interp_iz3interp.cpp,v 1.1 2018/10/01 11:21:03 jperkin Exp $
+
+rlim_t fixes.
+
+--- src/interp/iz3interp.cpp.orig      2016-11-07 22:02:30.000000000 +0000
++++ src/interp/iz3interp.cpp
+@@ -582,7 +582,7 @@ void interpolation_options_struct::apply
+ class iz3stack_unlimiter {
+ public:
+     iz3stack_unlimiter() {
+-        struct rlimit rl = {RLIM_INFINITY, RLIM_INFINITY};
++        struct rlimit rl = {(rlim_t)RLIM_INFINITY, (rlim_t)RLIM_INFINITY};
+         setrlimit(RLIMIT_STACK, &rl);
+         // nothing to be done if above fails
+     }