[pkgsrc/trunk]: pkgsrc/math/z3 Requires ocaml-num with ocaml 4.06

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/bfb1c80d5835
branches:  trunk
changeset: 376918:bfb1c80d5835
user:      dholland <dholland%pkgsrc.org@localhost>
date:      Sun Mar 11 06:14:45 2018 +0000

description:
Requires ocaml-num with ocaml 4.06

diffstat:

 math/z3/options.mk |  3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diffs (17 lines):

diff -r 92ced22abc8a -r bfb1c80d5835 math/z3/options.mk
--- a/math/z3/options.mk        Sun Mar 11 04:52:03 2018 +0000
+++ b/math/z3/options.mk        Sun Mar 11 06:14:45 2018 +0000
@@ -1,4 +1,4 @@
-# $NetBSD: options.mk,v 1.1 2015/11/24 05:45:58 dholland Exp $
+# $NetBSD: options.mk,v 1.2 2018/03/11 06:14:45 dholland Exp $
 
 PKG_OPTIONS_VAR=       PKG_OPTIONS.z3
 PKG_SUPPORTED_OPTIONS= ocaml java
@@ -8,6 +8,7 @@
 
 .if !empty(PKG_OPTIONS:Mocaml)
 CONFIGURE_ARGS+=       --ml
+.include "../../math/ocaml-num/buildlink3.mk"
 .include "../../lang/ocaml/buildlink3.mk"
 .endif