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
|