24289a687d
Patches for solaris and friends are reinstated (thanks jperkin@) Also thanks to he@ for testing on powerpc and arm Highlights for 4.10.0: * A new best-fit allocator for the major heap which reducing both GC cost and memory usage. * Immutable strings are now enforced at configuration time * User-defined indexing operators for multidimensional arrays * Miscellaneous improvements to the manual * A more precise exhaustiveness check for GADTs * Many bug fixes Highlights for 4.11.0: * Statmemprof: a new statistical memory profiler * A new instrumented runtime that logs runtime statistics in a standard format * A native backend for the RISC-V architecture * Improved backtraces that refer to function names * Suppport for recursive and yet unboxed types * A quoted extension syntax for ppxs. * Many quality of life improvements * Many bug fixes. 4.11.1 is a bugfix release. Full details in the CHANGELOG included with the distribution.
26 lines
577 B
Makefile
26 lines
577 B
Makefile
# $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
|