204621bf62
Some of the highlights in release 3.12 are:
* Polymorphic recursion is supported, using explicit type
declarations on the recursively-defined identifiers.
* First-class modules: module expressions can be embedded as
values of the core language, then manipulated like any other
first-class value, then projected back to the module level.
* New operator to modify a signature a posteriori: S with type
t := tau denotes signature S where the t type component is
removed and substituted by the type tau elsewhere.
* New notations for record expressions and record patterns:
{ lbl } as shorthand for { lbl = lbl }, and { ...; _ } marks
record patterns where some labels were intentionally omitted.
* Local open let open ... in ... now supported by popular demand.
* Type variables can be bound as type parameters to functions;
such types are treated like abstract types within the
function body, and like type variables (possibly generalized)
outside.
* The module type of construct enables to recover the module
type of a given module.
* Explicit method override using the method! keyword, with
associated warnings and errors.
49 lines
1.4 KiB
Text
49 lines
1.4 KiB
Text
# $NetBSD: Makefile.common,v 1.26 2010/08/19 08:06:53 asau Exp $
|
|
|
|
# used by x11/labltk/Makefile
|
|
# used by x11/ocaml-graphics/Makefile
|
|
DISTNAME= ocaml-3.12.0
|
|
CATEGORIES= lang
|
|
MASTER_SITES= http://caml.inria.fr/pub/distrib/ocaml-3.12/
|
|
EXTRACT_SUFX= .tar.bz2
|
|
|
|
MAINTAINER= adam@NetBSD.org
|
|
HOMEPAGE= http://caml.inria.fr/ocaml/
|
|
COMMENT= The latest implementation of the Caml dialect of ML
|
|
|
|
USE_TOOLS+= gmake
|
|
HAS_CONFIGURE= yes
|
|
CONFIGURE_ENV+= BDB_LIBS=${BDB_LIBS:Q}
|
|
CONFIGURE_ENV+= BDB_BUILTIN=${USE_BUILTIN.${BDB_TYPE}:Q}
|
|
CONFIGURE_ARGS+= -prefix ${PREFIX}
|
|
CONFIGURE_ARGS+= -libs ${LDFLAGS:Q}
|
|
CONFIGURE_ARGS+= -with-pthread
|
|
CONFIGURE_ARGS+= -host ${MACHINE_GNU_PLATFORM:Q}
|
|
CONFIGURE_ARGS+= -mandir ${PREFIX}/${PKGMANDIR}
|
|
CPPFLAGS+= -DDB_DBM_HSEARCH
|
|
|
|
INSTALL_MAKE_FLAGS+= PREFIX=${DESTDIR}${PREFIX} \
|
|
MANDIR=${DESTDIR}${PREFIX}/${PKGMANDIR}
|
|
DISTINFO_FILE= ${.CURDIR}/../../lang/ocaml/distinfo
|
|
PATCHDIR= ${.CURDIR}/../../lang/ocaml/patches
|
|
|
|
.include "../../mk/bsd.prefs.mk"
|
|
|
|
.if ${OPSYS} == "Darwin" || ${OPSYS} == "Linux"
|
|
INSTALL_UNSTRIPPED= yes
|
|
.endif
|
|
|
|
.include "../../mk/bdb.buildlink3.mk"
|
|
|
|
post-extract: cp-power-bsd cp-gnu-config
|
|
|
|
.PHONY: cp-power-bsd
|
|
cp-power-bsd:
|
|
${CP} ${WRKSRC}/asmrun/power-elf.S ${WRKSRC}/asmrun/power-bsd.S
|
|
|
|
.PHONY: cp-gnu-config
|
|
cp-gnu-config:
|
|
${CP} ${PKGSRCDIR}/mk/gnu-config/config.guess ${WRKSRC}/config/gnu/
|
|
${CP} ${PKGSRCDIR}/mk/gnu-config/config.sub ${WRKSRC}/config/gnu/
|
|
|
|
.include "../../mk/pthread.buildlink3.mk"
|