Changeset View
Changeset View
Standalone View
Standalone View
head/devel/ikos/Makefile
| # $FreeBSD$ | # $FreeBSD$ | ||||
| PORTNAME= ikos | PORTNAME= ikos | ||||
| DISTVERSIONPREFIX= v | DISTVERSIONPREFIX= v | ||||
| DISTVERSION= 2.2 | DISTVERSION= 2.2 | ||||
| PORTREVISION= 1 | PORTREVISION= 2 | ||||
| CATEGORIES= devel | CATEGORIES= devel | ||||
| MAINTAINER= yuri@FreeBSD.org | MAINTAINER= yuri@FreeBSD.org | ||||
| COMMENT= Static analyzer for C/C++ based on theory of abstract interpretation | COMMENT= Static analyzer for C/C++ based on theory of abstract interpretation | ||||
| LICENSE= MIT | LICENSE= MIT | ||||
| LICENSE_FILE= ${WRKSRC}/LICENSE.pdf | LICENSE_FILE= ${WRKSRC}/LICENSE.pdf | ||||
| Show All 31 Lines | |||||