blob: 8da388ae456d0a5779ff1953bbbda2f2e66e0d14 (
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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
# Created by: John Marino <marino@FreeBSD.org>
# $FreeBSD$
PORTNAME= spark
PORTVERSION= 2014
CATEGORIES= lang
MASTER_SITES= http://downloads.dragonlace.net/src/:main LOCAL/marino:main \
GCC/${MS_SUBDIR}
DISTNAME= spark-gpl-${PORTVERSION}-src
DISTFILES= ${DISTNAME}.tar.gz:main ${IDENTIFICATION}.tar.bz2
EXTRACT_ONLY= ${DISTNAME}.tar.gz
MAINTAINER= marino@FreeBSD.org
COMMENT= Technology for engineering high-reliability s/w applications
LICENSE= GPLv3
BROKEN= brutally fails test suite - with ICE
DEPRECATED= Broken for more than 6 months
EXPIRATION_DATE= 2016-10-29
BUILD_DEPENDS= gnatcoll>=2014:${PORTSDIR}/devel/gnatcoll
RUN_DEPENDS= gnatwhy3:${PORTSDIR}/math/why3-spark \
alt-ergo:${PORTSDIR}/math/alt-ergo
USES= ada gmake
ALL_TARGET= gnat2why gnatprove
GNATSRC= ${WRKSRC}/gnat2why/gnat_src
PORTDOCS= html pdf
MAKE_JOBS_UNSAFE= yes
.include "${.CURDIR}/../gcc5-aux/Makefile.version"
post-extract:
(cd ${WRKDIR} && ${TAR} -xf ${DISTDIR}/${IDENTIFICATION}.tar.bz2 \
${IDENTIFICATION}/gcc/ada)
${LN} -s ${WRKDIR}/${IDENTIFICATION}/gcc/ada ${GNATSRC}
${MKDIR} ${WRKSRC}/install/bin
post-install:
${INSTALL_PROGRAM} ${WRKSRC}/install/bin/* ${STAGEDIR}${PREFIX}/bin
(cd ${WRKSRC}/install/share && \
${COPYTREE_SHARE} . ${STAGEDIR}${PREFIX}/share)
.include <bsd.port.mk>
|
