37893c2bae
A few mistakes in plists came up, so these ports get a PORTREVISION bump. Some of the older ports are still left out.
22 lines
445 B
Makefile
22 lines
445 B
Makefile
# $FreeBSD$
|
|
|
|
PORTNAME= gen_leader
|
|
PORTVERSION= 2014.10.20
|
|
PORTREVISION= 1
|
|
CATEGORIES= devel
|
|
PKGNAMEPREFIX= erlang-
|
|
|
|
MAINTAINER= olgeni@FreeBSD.org
|
|
COMMENT= Leader election behavior for Erlang
|
|
|
|
USES= erlang:rebar
|
|
USE_GITHUB= yes
|
|
GH_ACCOUNT= garret-smith
|
|
GH_PROJECT= gen_leader_revival
|
|
GH_TAGNAME= a12a4e3
|
|
|
|
post-install:
|
|
@${MKDIR} ${STAGEDIR}${EXAMPLESDIR}
|
|
${INSTALL_DATA} ${WRKSRC}/examples/* ${STAGEDIR}${EXAMPLESDIR}
|
|
|
|
.include <bsd.port.mk>
|