# $NetBSD: options.mk,v 1.5 2022/10/09 07:02:47 tonio Exp $

PKG_OPTIONS_VAR=	PKG_OPTIONS.frama-c
PKG_SUPPORTED_OPTIONS=	gui coq
PKG_SUGGESTED_OPTIONS=	gui coq

PLIST_VARS=	gui coq

.include "../../mk/bsd.options.mk"

.if !empty(PKG_OPTIONS:Mgui)
PLIST.gui=	yes

.include "../../x11/ocaml-lablgtk3/buildlink3.mk"
.else
CONFIGURE_ARGS+=	--enable-gui=no
.endif

.if !empty(PKG_OPTIONS:Mcoq)
PLIST.coq=	yes

DEPENDS+=		coq>=8.6:../../lang/coq
DEPENDS+=		why3>=1.5:../../devel/why3
.else
CONFIGURE_ARGS+=	--enable-wp-coq=no
.endif