diff options
| author | dholland <dholland@pkgsrc.org> | 2018-03-11 06:14:45 +0000 |
|---|---|---|
| committer | dholland <dholland@pkgsrc.org> | 2018-03-11 06:14:45 +0000 |
| commit | 58d7a1bb108333087b6f4c7a19585a77ed03556b (patch) | |
| tree | 68e4884ccc594409a55dbfdbe64bb7e33d561b2e /math/z3 | |
| parent | 7f7c72b94ad2535286dd314dd0fa233e0b4351f5 (diff) | |
| download | pkgsrc-58d7a1bb108333087b6f4c7a19585a77ed03556b.tar.gz | |
Requires ocaml-num with ocaml 4.06
Diffstat (limited to 'math/z3')
| -rw-r--r-- | math/z3/options.mk | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/math/z3/options.mk b/math/z3/options.mk index 56fc3630cec..28697db4e70 100644 --- a/math/z3/options.mk +++ b/math/z3/options.mk @@ -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 |