blob: e9ee4ac2f6e0e0864d1700965aa1831a2a11d5dc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
# $NetBSD: options.mk,v 1.3 2011/12/25 15:52:12 asau Exp $
PKG_OPTIONS_VAR= PKG_OPTIONS.frama-c
PKG_SUPPORTED_OPTIONS= gui
PKG_SUGGESTED_OPTIONS= gui
PLIST_VARS= gui
.include "../../mk/bsd.options.mk"
.if !empty(PKG_OPTIONS:Mgui)
PLIST.gui= yes
.include "../../x11/gtksourceview2/buildlink3.mk"
.else
CONFIGURE_ARGS+= --enable-gui=no
.endif
|
