pkgsrc-wip/vis/Makefile

# $NetBSD: Makefile,v 1.2 2006/11/25 11:51:00 shattered Exp $
#

DISTNAME=	vis-2.1
CATEGORIES=	cad
MASTER_SITES=	ftp://vlsi.colorado.edu/pub/vis/

MAINTAINER=	dhowland@users.sourceforge.net
HOMEPAGE=	http://vlsi.colorado.edu/~vis/
COMMENT=	Classic logic verification tool

DISTFILES=	vis-2.1.tar.gz glu-2.1.tar.gz

DEPENDS+=	bison>=1.22:../../devel/bison

CONFLICTS=	vis<=0.1

CONFIGURE_DIRS=		../glu-2.1 .

GNU_CONFIGURE=		yes
USE_TOOLS+=		gmake

.include "../../mk/bsd.pkg.mk"
Low-hanging fruit: whitespace, PLIST sorting, HTTP redirects, USE_LANGUAGES 2006-11-25 12:50:59 +01:00			`# $NetBSD: Makefile,v 1.2 2006/11/25 11:51:00 shattered Exp $`
VIS is a system for formal verification, synthesis, and simulation of finite state systems. It has been developed jointly at the University of California at Berkeley, the University of Colorado at Boulder, and more recently at the University of Texas, Austin. 2006-11-15 05:00:50 +01:00			`#`

			`DISTNAME= vis-2.1`
			`CATEGORIES= cad`
			`MASTER_SITES= ftp://vlsi.colorado.edu/pub/vis/`

			`MAINTAINER= dhowland@users.sourceforge.net`
Low-hanging fruit: whitespace, PLIST sorting, HTTP redirects, USE_LANGUAGES 2006-11-25 12:50:59 +01:00			`HOMEPAGE= http://vlsi.colorado.edu/~vis/`
VIS is a system for formal verification, synthesis, and simulation of finite state systems. It has been developed jointly at the University of California at Berkeley, the University of Colorado at Boulder, and more recently at the University of Texas, Austin. 2006-11-15 05:00:50 +01:00			`COMMENT= Classic logic verification tool`

			`DISTFILES= vis-2.1.tar.gz glu-2.1.tar.gz`

			`DEPENDS+= bison>=1.22:../../devel/bison`

			`CONFLICTS= vis<=0.1`

			`CONFIGURE_DIRS= ../glu-2.1 .`

			`GNU_CONFIGURE= yes`
			`USE_TOOLS+= gmake`

			`.include "../../mk/bsd.pkg.mk"`