diff options
Diffstat (limited to 'science/bddsolve/Makefile')
| -rw-r--r-- | science/bddsolve/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/science/bddsolve/Makefile b/science/bddsolve/Makefile index 66eaa2392c6a..0012d7d5dff0 100644 --- a/science/bddsolve/Makefile +++ b/science/bddsolve/Makefile @@ -7,6 +7,7 @@ DISTNAME= ${PORTNAME}-source-${PORTVERSION} MAINTAINER= ed@FreeBSD.org COMMENT= BDD-based satisfiability and reachability solver +WWW= https://www.win.tue.nl/~wieger/bddsolve/ LIB_DEPENDS+= libbdd.so:science/buddy \ libboost_program_options.so:devel/boost-libs |