d0c4d21a83
GCC 6.1 was released this week. The Ada Framework in FreeBSD ports has been based on GCC 5.3 GNAT although GCC 6.x has been supported for awhile via the ADA_DEFAULT option in make.conf. Now that GCC 6 has been officially released, switch to it by default. People can maintain the old foundation by putting "ADA_DEFAULT=5" in /etc/make.conf. Libraries built by one GNAT are unusable by another, so almost every Ada port has been bumped as a result. Noticable exceptions are dns/ironsides which fails to build on gcc6 (thus USES=ada:5 is set) and cad/ghdl which needs additional testing as it may require gcc5 on FreeBSD (DragonFly uses the LLVM backend only).
39 lines
932 B
Makefile
39 lines
932 B
Makefile
# Created by: John Marino <marino@FreeBSD.org>
|
|
# $FreeBSD$
|
|
|
|
PORTNAME= libsparkcrypto
|
|
PORTVERSION= 0.1.1
|
|
PORTREVISION= 4
|
|
CATEGORIES= security
|
|
MASTER_SITES= http://senier.net/libsparkcrypto/
|
|
|
|
MAINTAINER= marino@FreeBSD.org
|
|
COMMENT= Cryptographic library implemented in SPARK
|
|
|
|
LICENSE= BSD3CLAUSE
|
|
|
|
USES= ada dos2unix gmake tar:tgz
|
|
DOS2UNIX_FILES= Makefile build/libsparkcrypto.gpr \
|
|
src/shared/generic/lsc-byteswap64.ads \
|
|
src/shared/generic/lsc-types.ads
|
|
SPARKARCH:= ${ARCH:S/amd64/x86_64/:S/i386/i686/}
|
|
ALL_TARGET= all build
|
|
|
|
MAKE_ENV+= SPARKARCH=${SPARKARCH} \
|
|
SPARK_DIR=${WRKSRC}/src/spark \
|
|
MODE=release \
|
|
RUNTIME=native \
|
|
NO_TESTS=true \
|
|
NO_PROOF=true
|
|
|
|
OPTIONS_DEFINE= DOCS
|
|
|
|
DOCS_BUILD_DEPENDS= adabrowse:textproc/adabrowse
|
|
DOCS_MAKE_ENV_OFF= NO_APIDOC=true
|
|
|
|
post-patch:
|
|
# ports passed unwanted ARCH definition to Makefile
|
|
@${REINPLACE_CMD} -e 's|ARCH|SPARKARCH|g' \
|
|
${WRKSRC}/Makefile
|
|
|
|
.include <bsd.port.mk>
|