31 lines
677 B
Makefile
31 lines
677 B
Makefile
# ex:ts=8
|
|
# Ports collection makefile for: ledit
|
|
# Date created: Feb 8, 2005
|
|
# Whom: Marwan Burelle <marwan.burelle@lri.fr>
|
|
#
|
|
# $FreeBSD$
|
|
#
|
|
|
|
PORTNAME= ledit
|
|
PORTVERSION= 1.11
|
|
PORTREVISION= 1
|
|
CATEGORIES= sysutils
|
|
MASTER_SITES= ftp://ftp.inria.fr/INRIA/cristal/Daniel.de_Rauglaudre/Tools/ \
|
|
http://home.leo.org/~barner/freebsd/distfiles/
|
|
|
|
MAINTAINER= barner@FreeBSD.org
|
|
COMMENT= Line editor to be used with interactive commands
|
|
|
|
USE_OCAML= yes
|
|
|
|
ALL_TARGET= all ledit.opt
|
|
|
|
PLIST_FILES= bin/ledit
|
|
|
|
MAN1= ledit.1
|
|
|
|
do-install:
|
|
${INSTALL_PROGRAM} ${WRKSRC}/ledit.out ${PREFIX}/bin/ledit
|
|
${INSTALL_MAN} ${WRKSRC}/ledit.l ${MANPREFIX}/man/man1/ledit.1
|
|
|
|
.include <bsd.port.mk>
|