CVS commit: pkgsrc/math/z3

["David A. Holland" <dholland%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   dholland
Date:           Sun Mar 11 06:14:45 UTC 2018

Modified Files:
        pkgsrc/math/z3: options.mk

Log Message:
Requires ocaml-num with ocaml 4.06


To generate a diff of this commit:
cvs rdiff -u -r1.1 -r1.2 pkgsrc/math/z3/options.mk

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/options.mk
diff -u pkgsrc/math/z3/options.mk:1.1 pkgsrc/math/z3/options.mk:1.2
--- pkgsrc/math/z3/options.mk:1.1       Tue Nov 24 05:45:58 2015
+++ pkgsrc/math/z3/options.mk   Sun Mar 11 06:14:45 2018
@@ -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 @@ PKG_SUGGESTED_OPTIONS=  ocaml
 
 .if !empty(PKG_OPTIONS:Mocaml)
 CONFIGURE_ARGS+=       --ml
+.include "../../math/ocaml-num/buildlink3.mk"
 .include "../../lang/ocaml/buildlink3.mk"
 .endif