# New ports collection makefile for: buddy # Date created: 31 August 2004 # Whom: Leland Wang # # $FreeBSD$ # PORTNAME= buddy PORTVERSION= 2.4 PORTREVISION= 1 CATEGORIES= science MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} MASTER_SITE_SUBDIR= buddy MAINTAINER= llwang@infor.org COMMENT= A Binary Decision Diagram library USE_AUTOTOOLS= libtool:15 GNU_CONFIGURE= yes CONFIGURE_TARGET= --build=${MACHINE_ARCH}-portbld-freebsd${OSREL} USE_GMAKE= yes INSTALLS_SHLIB= yes DOCS= doc/bddnotes.ps doc/buddy.ps doc/tech.txt README AUTHORS post-install: .if !defined(NOPORTDOCS) ${MKDIR} ${DOCSDIR} ${INSTALL_DATA} ${DOCS:S|^|${WRKSRC}/|} ${DOCSDIR} .endif .include rel='vcs-git' href='https://www.csie.ntu.edu.tw/~b01902062/git/freebsd-ports-gnome' title='freebsd-ports-gnome Git repository'/>
aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Remove expired ports:rene2018-12-311-65/+0
* Remove version 7.0 from the IGNORE_WITH_PHP list.rene2018-12-061-1/+1
* Deprecate ports depending on php 5.6antoine2018-12-031-0/+3
* Fix some PKGNAME collisionsantoine2018-10-08