blob: 37f70e93e7ce337a505be166296329e938131987 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
# Created by: John Marino <marino@FreeBSD.org>
# $FreeBSD$
PORTNAME= ironsides
PORTVERSION= ${SNAPSHOT:S/_//g}
PORTREVISION= 1
CATEGORIES= dns
MASTER_SITES= http://ironsides.martincarlisle.com/
DISTFILES= ironsides_authoritative-${SNAPSHOT}.zip
MAINTAINER= marino@FreeBSD.org
COMMENT= Authoritative DNS server formally verified by SPARK/Ada
LICENSE= Ironsides
LICENSE_NAME= IRONSIDES - Free software, unlimited redistribution
LICENSE_FILE= ${WRKSRC}/COPYRIGHT.txt
LICENSE_PERMS= dist-mirror dist-sell pkg-mirror pkg-sell auto-accept
BUILD_DEPENDS= ${LOCALBASE}/include/spark2012/spark.ads:${PORTSDIR}/devel/libspark2012
USES= ada dos2unix
DOS2UNIX_FILES= dfcs.usafa.edu.zonefile ironsides.1
SNAPSHOT= 2014_02_20
WRKSRC= ${WRKDIR}/${DISTFILES:S/.zip//}
post-extract:
@${CP} ${FILESDIR}/ironsides.gpr ${FILESDIR}/Makefile ${WRKSRC}/
.include <bsd.port.mk>
|
