CVS commit: pkgsrc/math/z3

["Jonathan Perkin" <jperkin%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   jperkin
Date:           Mon Oct  1 11:21:03 UTC 2018

Modified Files:
        pkgsrc/math/z3: distinfo
Added Files:
        pkgsrc/math/z3/patches: patch-src_interp_iz3interp.cpp

Log Message:
z3: rlim_t fixes.


To generate a diff of this commit:
cvs rdiff -u -r1.6 -r1.7 pkgsrc/math/z3/distinfo
cvs rdiff -u -r0 -r1.1 pkgsrc/math/z3/patches/patch-src_interp_iz3interp.cpp

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

Modified files:

Index: pkgsrc/math/z3/distinfo
diff -u pkgsrc/math/z3/distinfo:1.6 pkgsrc/math/z3/distinfo:1.7
--- pkgsrc/math/z3/distinfo:1.6 Fri Jun 15 15:11:34 2018
+++ pkgsrc/math/z3/distinfo     Mon Oct  1 11:21:03 2018
@@ -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 @@ SHA512 (z3-4.5.0.tar.gz) = 1ebc2c908d90b
 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

Added files:

Index: pkgsrc/math/z3/patches/patch-src_interp_iz3interp.cpp
diff -u /dev/null pkgsrc/math/z3/patches/patch-src_interp_iz3interp.cpp:1.1
--- /dev/null   Mon Oct  1 11:21:03 2018
+++ pkgsrc/math/z3/patches/patch-src_interp_iz3interp.cpp       Mon Oct  1 11:21:03 2018
@@ -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
+     }