fbf6de3553
upstream releases, so visit the HOMEPAGE for further info. pkgsrc changes: - old patches were rolled in upstream - use the ocaml framework - depends on more ocaml libraries - depends on lang/coq by default; turn off the coq option to avoid this XXX: You must build ocamlgraph with ocaml-lablgtk support (which is XXX: not the default) or the build fails on missing module "Dgraph".
25 lines
491 B
Makefile
25 lines
491 B
Makefile
# $NetBSD: options.mk,v 1.4 2017/09/05 07:30:00 dholland 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-lablgtk/buildlink3.mk"
|
|
.else
|
|
CONFIGURE_ARGS+= --enable-gui=no
|
|
.endif
|
|
|
|
.if !empty(PKG_OPTIONS:Mcoq)
|
|
PLIST.coq= yes
|
|
|
|
DEPENDS+= coq>=8.6:../../lang/coq
|
|
.else
|
|
CONFIGURE_ARGS+= --enable-wp-coq=no
|
|
.endif
|