mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-01 01:17:02 +00:00
ccf1c17d22
PR: ports/58725 Submitted by: Jaeho Shin <netj@sparcs.kaist.ac.kr> (maintainer)
38 lines
957 B
Makefile
38 lines
957 B
Makefile
# New ports collection makefile for: nML
|
|
# Date created: 17 July 2001
|
|
# Whom: Jaeho Shin <netj@sparcs.kaist.ac.kr>
|
|
#
|
|
# $FreeBSD$
|
|
#
|
|
|
|
PORTNAME= nml
|
|
PORTVERSION= 0.92a
|
|
CATEGORIES= lang
|
|
MASTER_SITES= http://ropas.snu.ac.kr/n/ \
|
|
http://sparcs.kaist.ac.kr/~netj/n/ \
|
|
http://ropas.kaist.ac.kr/n/
|
|
|
|
MAINTAINER= netj@sparcs.kaist.ac.kr
|
|
COMMENT= A dialect/harmony of Standard ML of New Jersey and Objective Caml
|
|
|
|
HAS_CONFIGURE= yes
|
|
CONFIGURE_ARGS+= \
|
|
-prefix ${PREFIX}
|
|
|
|
USE_GMAKE= yes
|
|
ALL_TARGET= all opt opt.opt
|
|
INSTALL_TARGET= install installopt
|
|
|
|
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.mk>
|