mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-28 01:06:17 +00:00
e2e772bd2a
Approved by: portmgr
41 lines
984 B
Makefile
41 lines
984 B
Makefile
# Created by: Jaeho Shin <netj@sparcs.kaist.ac.kr>
|
|
# $FreeBSD$
|
|
|
|
PORTNAME= nml
|
|
PORTVERSION= 0.92b
|
|
CATEGORIES= lang
|
|
MASTER_SITES= http://ropas.snu.ac.kr/n/ \
|
|
http://sparcs.kaist.ac.kr/~netj/n/ \
|
|
http://ropas.kaist.ac.kr/n/
|
|
|
|
MAINTAINER= ports@FreeBSD.org
|
|
COMMENT= A dialect/harmony of Standard ML of New Jersey and Objective Caml
|
|
|
|
WRKSRC= ${WRKDIR}/${PORTNAME}-0.92
|
|
|
|
ONLY_FOR_ARCHS= i386
|
|
|
|
HAS_CONFIGURE= yes
|
|
CONFIGURE_ARGS+= \
|
|
-prefix ${PREFIX}
|
|
|
|
USES= gmake
|
|
ALL_TARGET= all opt opt.opt
|
|
INSTALL_TARGET= install installopt
|
|
|
|
NO_STAGE= yes
|
|
.include <bsd.port.pre.mk>
|
|
|
|
post-install:
|
|
.if !defined(NOPORTDOCS)
|
|
${MKDIR} ${DOCSDIR}
|
|
${INSTALL_DATA} ${WRKSRC}/Changes ${WRKSRC}/LICENSE ${WRKSRC}/README ${DOCSDIR}
|
|
${MKDIR} ${DATADIR}/contrib/emacs
|
|
${MKDIR} ${DATADIR}/contrib/vim
|
|
${INSTALL_DATA} ${WRKSRC}/contrib/emacs/* ${DATADIR}/contrib/emacs
|
|
${INSTALL_DATA} ${WRKSRC}/contrib/vim/* ${DATADIR}/contrib/vim
|
|
.endif
|
|
@${STRIP_CMD} ${PREFIX}/bin/ncamlrun
|
|
|
|
.include <bsd.port.post.mk>
|