diff options
author | jperkin <jperkin@pkgsrc.org> | 2018-10-01 11:21:03 +0000 |
---|---|---|
committer | jperkin <jperkin@pkgsrc.org> | 2018-10-01 11:21:03 +0000 |
commit | f19bfd555de604cc647b3659b993951088b259db (patch) | |
tree | 296eb5ecbfce956789c12cdf3b24508da8b0e64b /math/z3 | |
parent | 2bdffb963eda2c0f0f34d9105674d0c90956cfd6 (diff) | |
download | pkgsrc-f19bfd555de604cc647b3659b993951088b259db.tar.gz |
z3: rlim_t fixes.
Diffstat (limited to 'math/z3')
-rw-r--r-- | math/z3/distinfo | 3 | ||||
-rw-r--r-- | math/z3/patches/patch-src_interp_iz3interp.cpp | 15 |
2 files changed, 17 insertions, 1 deletions
diff --git a/math/z3/distinfo b/math/z3/distinfo index 4c08cce4323..816b6cf26ee 100644 --- a/math/z3/distinfo +++ b/math/z3/distinfo @@ -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) = 1ebc2c908d90b6b879f1e819c864ff894613276af47a440f27cf9 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 --git a/math/z3/patches/patch-src_interp_iz3interp.cpp b/math/z3/patches/patch-src_interp_iz3interp.cpp new file mode 100644 index 00000000000..31c9714d1f9 --- /dev/null +++ b/math/z3/patches/patch-src_interp_iz3interp.cpp @@ -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 + } |