mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-25 04:43:33 +00:00
27 lines
573 B
Makefile
27 lines
573 B
Makefile
# Created by: Leland Wang <llwang@infor.org>
|
|
# $FreeBSD$
|
|
|
|
PORTNAME= buddy
|
|
PORTVERSION= 2.4
|
|
PORTREVISION= 2
|
|
CATEGORIES= science
|
|
MASTER_SITES= SF/${PORTNAME}/${PORTNAME}/BuDDy%20${PORTVERSION}
|
|
|
|
MAINTAINER= ports@FreeBSD.org
|
|
COMMENT= Binary Decision Diagram library
|
|
|
|
USES= gmake libtool
|
|
GNU_CONFIGURE= yes
|
|
USE_LDCONFIG= yes
|
|
INSTALL_TARGET= install-strip
|
|
|
|
DOCS= doc/bddnotes.ps doc/buddy.ps doc/tech.txt README AUTHORS
|
|
|
|
OPTIONS_DEFINE= DOCS
|
|
|
|
post-install:
|
|
${MKDIR} ${STAGEDIR}${DOCSDIR}
|
|
${INSTALL_DATA} ${DOCS:S|^|${WRKSRC}/|} ${STAGEDIR}${DOCSDIR}
|
|
|
|
.include <bsd.port.mk>
|