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.04 | PORTVERSION= 1.04 | ||||
| PORTREVISION= 7 | PORTREVISION= 8 | ||||
| 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_powerpc= fails to compile due to running out of virtual memory | BROKEN_powerpc= fails to compile due to running out of virtual memory | ||||
| Show All 22 Lines | |||||