aboutsummaryrefslogtreecommitdiff
path: root/science/bddsolve/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'science/bddsolve/Makefile')
-rw-r--r--science/bddsolve/Makefile1
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