65245bda28
Highlights of this release are: * new optimisations, in particular for affine functions in matches; * the graphics library was moved out of the main distribution; * the vmthread library was removed; * support for compiler plugins was removed; * many bug fixes. For more details see the Changes file in the distribution.
26 lines
577 B
Makefile
26 lines
577 B
Makefile
# $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
|