# $NetBSD: options.mk,v 1.5 2020/12/09 10:33:04 jaapb Exp $

PKG_OPTIONS_VAR=	PKG_OPTIONS.ocaml
PKG_SUPPORTED_OPTIONS=	pic flambda spacetime
PKG_SUGGESTED_OPTIONS=	pic

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

.if !empty(PKG_OPTIONS:Mpic)
CONFIGURE_ARGS+=	--with-pic
.else
CONFIGURE_ARGS+=	--without-pic
.endif

.if !empty(PKG_OPTIONS:Mflambda)
CONFIGURE_ARGS+=	--enable-flambda
.else
CONFIGURE_ARGS+=	--disable-flambda
.endif

.if !empty(PKG_OPTIONS:Mspacetime)
CONFIGURE_ARGS+=	--enable-spacetime
.else
CONFIGURE_ARGS+=	--disable-spacetime
.endif