mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-05 01:55:52 +00:00
af9a839b4c
- Drop unnecessary configure step - Install docs by default
33 lines
710 B
Makefile
33 lines
710 B
Makefile
# New ports collection makefile for: rvi
|
|
# Date Created: 2 July 2001
|
|
# Whom: Pete Fritchman <petef@databits.net>
|
|
#
|
|
# $FreeBSD$
|
|
#
|
|
|
|
PORTNAME= rvi
|
|
PORTVERSION= 1.0.0
|
|
CATEGORIES= devel
|
|
MASTER_SITES= LOCAL/petef \
|
|
http://www.cs.ru.ac.za/research/g98t4414/static/home/rvi/
|
|
DISTNAME= rvi
|
|
|
|
MAINTAINER= ports@FreeBSD.org
|
|
COMMENT= A simple interface to RCS
|
|
|
|
WRKSRC= ${WRKDIR}/${PORTNAME}-${PORTVERSION}
|
|
PLIST_FILES= bin/rvi
|
|
PORTDOCS= rvi.txt
|
|
|
|
do-build:
|
|
@cd ${WRKSRC}/&&${CXX} -I. ${CFLAGS} -o rvi src/rvi.cc
|
|
|
|
do-install:
|
|
@${INSTALL_PROGRAM} ${WRKSRC}/rvi ${PREFIX}/bin/
|
|
.ifndef NOPORTDOCS
|
|
@${INSTALL} -d ${DOCSDIR}/
|
|
@cd ${WRKSRC}/doc/&&${INSTALL_DATA} ${PORTDOCS} ${DOCSDIR}/
|
|
.endif
|
|
|
|
.include <bsd.port.mk>
|