Changeset View
Changeset View
Standalone View
Standalone View
head/science/bddsolve/Makefile
# Created by: Ed Schouten <ed@FreeBSD.org> | # Created by: Ed Schouten <ed@FreeBSD.org> | ||||
# $FreeBSD$ | # $FreeBSD$ | ||||
PORTNAME= bddsolve | PORTNAME= bddsolve | ||||
PORTVERSION= 1.03 | PORTVERSION= 1.04 | ||||
PORTREVISION= 6 | |||||
CATEGORIES= science | CATEGORIES= science | ||||
MASTER_SITES= http://www.win.tue.nl/~wieger/bddsolve/_downloads/ | MASTER_SITES= http://www.win.tue.nl/~wieger/bddsolve/_downloads/ | ||||
DISTNAME= ${PORTNAME}-source-${PORTVERSION} | DISTNAME= ${PORTNAME}-source-${PORTVERSION} | ||||
MAINTAINER= ed@FreeBSD.org | MAINTAINER= ed@FreeBSD.org | ||||
COMMENT= BDD-based satisfiability and reachability solver | COMMENT= BDD-based satisfiability and reachability solver | ||||
BROKEN_powerpc64= Does not build | BROKEN_powerpc64= Does not build | ||||
Show All 23 Lines |