Changeset View
Changeset View
Standalone View
Standalone View
head/math/cryptominisat/Makefile
| # $FreeBSD$ | # $FreeBSD$ | ||||
| PORTNAME= cryptominisat | PORTNAME= cryptominisat | ||||
| DISTVERSION= 5.6.3 | DISTVERSION= 5.6.8 | ||||
| PORTREVISION= 3 | |||||
| CATEGORIES= math | CATEGORIES= math | ||||
| MAINTAINER= arrowd@FreeBSD.org | MAINTAINER= arrowd@FreeBSD.org | ||||
| COMMENT= General-purpose award-winning SAT solver | COMMENT= General-purpose award-winning SAT solver | ||||
| LICENSE= MIT LGPL21 | LICENSE= MIT LGPL21 | ||||
| LICENSE_COMB= multi | LICENSE_COMB= multi | ||||
| LICENSE_FILE_LGPL21= ${WRKSRC}/LICENSE.txt | LICENSE_FILE_LGPL21= ${WRKSRC}/LICENSE.txt | ||||
| Show All 14 Lines | |||||