mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-29 01:13:08 +00:00
07c47a31ca
Right now, ironsides emits a STORAGE ERROR during building with lang/gcc6-aux. It's unclear if the problem lies with compiler or with ironsides. For now, limit building it with gcc5-aux (the default). The USES=ada:5 setting wasn't supported, but it should have been. This has also been fixed.
31 lines
927 B
Makefile
31 lines
927 B
Makefile
# Created by: John Marino <marino@FreeBSD.org>
|
|
# $FreeBSD$
|
|
|
|
PORTNAME= ironsides
|
|
PORTVERSION= ${SNAPSHOT:S/_//g}
|
|
CATEGORIES= dns
|
|
MASTER_SITES= http://ironsides.martincarlisle.com/
|
|
DISTNAME= ironsides_authoritative-${SNAPSHOT}
|
|
|
|
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:devel/libspark2012
|
|
|
|
USES= ada:5 dos2unix zip
|
|
DOS2UNIX_FILES= dfcs.usafa.edu.zonefile ironsides.1
|
|
SNAPSHOT= 2015_04_15
|
|
WRKSRC= ${WRKDIR}/${DISTFILES:S/.zip//}
|
|
PLIST_FILES= sbin/ironsides man/man1/ironsides.1.gz
|
|
PORTEXAMPLES= dfcs.usafa.edu.zonefile
|
|
|
|
post-extract:
|
|
@${CP} ${FILESDIR}/ironsides.gpr ${FILESDIR}/Makefile ${WRKSRC}/
|
|
|
|
.include <bsd.port.mk>
|