mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-15 07:56:36 +00:00
a1c3980ac8
Reset maintainership for llwang@infor.org due to multiple timeouts and email address permanent failure. Return all ports to the free pool except py-numpy, which is taken under the wing of the python@ team. We thank you for your contribution to the FreeBSD project Approved by: portmgr
28 lines
564 B
Makefile
28 lines
564 B
Makefile
# Created by: Leland Wang <llwang@infor.org>
|
|
# $FreeBSD$
|
|
|
|
PORTNAME= buddy
|
|
PORTVERSION= 2.4
|
|
PORTREVISION= 1
|
|
CATEGORIES= science
|
|
MASTER_SITES= SF/${PORTNAME}/${PORTNAME}/BuDDy%20${PORTVERSION}
|
|
|
|
MAINTAINER= ports@FreeBSD.org
|
|
COMMENT= A Binary Decision Diagram library
|
|
|
|
USE_AUTOTOOLS= libtool
|
|
GNU_CONFIGURE= yes
|
|
USE_GMAKE= yes
|
|
USE_LDCONFIG= yes
|
|
|
|
DOCS= doc/bddnotes.ps doc/buddy.ps doc/tech.txt README AUTHORS
|
|
|
|
NO_STAGE= yes
|
|
post-install:
|
|
.if !defined(NOPORTDOCS)
|
|
${MKDIR} ${DOCSDIR}
|
|
${INSTALL_DATA} ${DOCS:S|^|${WRKSRC}/|} ${DOCSDIR}
|
|
.endif
|
|
|
|
.include <bsd.port.mk>
|