summaryrefslogtreecommitdiff
path: root/devel/frama-c/options.mk
blob: 10cd15c39d2439ebe440a157094a6c78de7b6a2a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
# $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