mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-23 00:43:28 +00:00
178e2ae72e
Pointed out by: marcus
29 lines
617 B
Makefile
29 lines
617 B
Makefile
# ex:ts=8
|
|
# New ports collection makefile for: kimwitu
|
|
# Date created: Apr 23, 2001
|
|
# Whom: Ying-Chieh Liao <ijliao@FreeBSD.org>
|
|
#
|
|
# $FreeBSD$
|
|
#
|
|
|
|
PORTNAME= kimwitu
|
|
PORTVERSION= 4.6.1
|
|
CATEGORIES= devel
|
|
MASTER_SITES= ftp://ftp.cs.utwente.nl/pub/src/kimwitu/
|
|
DISTNAME= kc-distr.V${PORTVERSION:S/./_/g}
|
|
|
|
MAINTAINER= ports@FreeBSD.org
|
|
COMMENT= A tool for processing trees (i.e. terms)
|
|
|
|
WRKSRC= ${WRKDIR}/${DISTNAME}/src
|
|
ALL_TARGET=
|
|
|
|
MAN1= kc.1
|
|
PLIST_FILES= bin/kc
|
|
|
|
do-install:
|
|
@${INSTALL_PROGRAM} ${WRKSRC}/Gen/kc ${PREFIX}/bin
|
|
@${INSTALL_MAN} ${WRKSRC}/../man/kc.1 ${MAN1PREFIX}/man/man1
|
|
|
|
.include <bsd.port.mk>
|