Subject: CVS commit: pkgsrc/math/z3
From: Pierre Pronchery
Date: 2018-03-13 22:20:34
Message id: 20180313212034.496BCFB40@cvs.NetBSD.org
Log Message:
Re-introduce support for NetBSD in src/util/scoped_timer.cpp

I forgot to patch this part in the latest update; sorry.
This has now been submitted upstream as well.

Originally from dholland@.

Compile-tested on NetBSD/amd64.

Bump PKGREVISION.
Files:
RevisionActionfile
1.9modifypkgsrc/math/z3/Makefile
1.5modifypkgsrc/math/z3/distinfo
1.1addpkgsrc/math/z3/patches/patch-src_util_scoped__timer.cpp