Log message:
z3: Fix broken build system by pretending SunOS is Linux.

Log message:
Revbump associated with the upgrade of lang/ocaml

(this is the upgrade from 4.06 to 4.06.1)

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.

Log message:
Import a package for the Python bindings for math/z3

Log message:
Remove the references to wip

Log message:
Update math/z3 to version 4.5.0

From the release notes:

    New features:
    - New theories of strings and sequences.
    - Incremental consequence finder for finite domains.
    - CMake build system (thanks @delcypher).
    - Updated and improved OCaml API (thanks @martin-neuhaeusser).
    - Updated and improved Java API (thanks @cheshire).
    - New resource limit facilities to avoid non-deterministic timeout behaviour.
    - New bit-vector simplification and ackermannization tactics (thanks \ 
@MikolasJanota, @nunoplopes).
    - QSAT: a new solver for quantified arithmetic problems. See:
      Bjorner, Janota: Playing with Quantified Satisfaction, LPAR 2016.

    A multitude of bugs has been fixed.

I am about to commit a separate package for the Python bindings.

Coordinated with dholland@

Log message:
Requires ocaml-num with ocaml 4.06

Log message:
z3: forbid python 3.x

First complains about indentation problems, then about reading
non-ASCII bytes.

Log message:
Add support for DESTDIR

Fix building math/z3 in privileged mode when not building as root:
ocamlfind: Cannot mkdir /usr/pkg/lib/ocaml/site-lib/Z3: Permission denied

This now uses the option -destdir when calling ocamlfind(1). It also
includes a workaround for what might be a bug in ocamlfind(1), where it
also wants to update ld.conf in spite of specifying -destdir.

Tested on NetBSD/amd64.

ok dholland@

Log message:
Recursive revbump associated with the update to OCaml 4.06.