mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-01 05:45:45 +00:00
23c5822602
main website has been having problems PR: 29354 Submitted by: maintainer
25 lines
486 B
Makefile
25 lines
486 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= http://www.rucus.ru.ac.za/~mtsegaye/rvi/ \
|
|
http://www.databits.net/~petef/distfiles/
|
|
DISTNAME= rvi
|
|
|
|
MAINTAINER= petef@databits.net
|
|
|
|
WRKSRC= ${WRKDIR}/${PORTNAME}-${PORTVERSION}
|
|
|
|
GNU_CONFIGURE= yes
|
|
|
|
do-install:
|
|
${INSTALL_PROGRAM} ${WRKSRC}/rvi ${PREFIX}/bin
|
|
|
|
.include <bsd.port.mk>
|