# $NetBSD: options.mk,v 1.4 2020/01/14 19:53:35 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