mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-24 09:25:01 +00:00
edcafcaeb2
PR: ports/77130 Submitted by: Marius Nuennerich <marius.nuennerich@gmx.net>
33 lines
672 B
Makefile
33 lines
672 B
Makefile
# Ports collection makefile for: extlib
|
|
# Date created: Nov 2, 2004
|
|
# Whom: mukai
|
|
#
|
|
# $FreeBSD$
|
|
#
|
|
|
|
PORTNAME= extlib
|
|
PORTVERSION= 1.3
|
|
CATEGORIES= devel
|
|
MASTER_SITES= ${MASTER_SITE_SOURCEFORGE}
|
|
MASTER_SITE_SUBDIR= ocaml-lib
|
|
PKGNAMEPREFIX= ocaml-
|
|
EXTRACT_SUFX= .tgz
|
|
|
|
MAINTAINER= mukai@jmuk.org
|
|
COMMENT= A complete - yet small - standard library for OCaml
|
|
|
|
BUILD_DEPENDS= ocamlc:${PORTSDIR}/lang/ocaml \
|
|
ocamlfind:${PORTSDIR}/devel/ocaml-findlib
|
|
|
|
USE_GMAKE= yes
|
|
ALL_TARGET= all opt doc
|
|
DOCSDIR= ${PREFIX}/share/doc/ocaml/${PORTNAME}
|
|
|
|
post-install:
|
|
.if !defined(NOPORTDOCS)
|
|
${MKDIR} ${DOCSDIR}
|
|
${INSTALL_DATA} ${WRKSRC}/doc/* ${DOCSDIR}
|
|
.endif
|
|
|
|
.include <bsd.port.mk>
|