Lines 2-14
Link Here
|
2 |
# $FreeBSD$ |
2 |
# $FreeBSD$ |
3 |
|
3 |
|
4 |
PORTNAME= maude |
4 |
PORTNAME= maude |
5 |
PORTVERSION= 2.6 |
5 |
PORTVERSION= 2.7.1 |
6 |
PORTREVISION= 1 |
|
|
7 |
CATEGORIES= lang |
6 |
CATEGORIES= lang |
8 |
MASTER_SITES= http://maude.cs.illinois.edu/versions/${PORTVERSION}/ |
7 |
MASTER_SITES= http://maude.cs.illinois.edu/w/images/d/d8/ |
9 |
DISTNAME= Maude-${PORTVERSION} |
8 |
DISTNAME= Maude-${PORTVERSION} |
|
|
9 |
WRKSRC= ${WRKDIR}/maude-${PORTVERSION} |
10 |
|
10 |
|
11 |
MAINTAINER= ports@FreeBSD.org |
11 |
MAINTAINER= greg@unrelenting.technology |
12 |
COMMENT= High-performance reflective language |
12 |
COMMENT= High-performance reflective language |
13 |
|
13 |
|
14 |
LICENSE= GPLv2 |
14 |
LICENSE= GPLv2 |
Lines 27-48
LDFLAGS+= -L${NCURSESLIB} -L${LOCALBASE}/lib
Link Here
|
27 |
CONFIGURE_ARGS= --datadir=${DATADIR} |
27 |
CONFIGURE_ARGS= --datadir=${DATADIR} |
28 |
MAKE_JOBS_UNSAFE= yes |
28 |
MAKE_JOBS_UNSAFE= yes |
29 |
|
29 |
|
30 |
FULL_MAUDE_VER= 26b |
30 |
OPTIONS_SUB= yes |
|
|
31 |
OPTIONS_DEFINE= DOCS FULL_MAUDE CVC4 |
32 |
OPTIONS_DEFAULT= FULL_MAUDE CVC4 |
33 |
FULL_MAUDE_DESC= Install full-maude |
34 |
CVC4_DESC= Enable SMT support via CVC4 |
31 |
|
35 |
|
32 |
OPTIONS_DEFINE= DOCS FULL_MAUDE |
36 |
CVC4_LIB_DEPENDS= libcvc4.so:math/cvc4 |
33 |
OPTIONS_DEFAULT= FULL_MAUDE |
37 |
CVC4_CONFIGURE_WITH= cvc4 |
34 |
FULL_MAUDE_DESC= Install full-maude${FULL_MAUDE_VER} |
|
|
35 |
|
38 |
|
36 |
PORTDOCS= AUTHORS COPYING ChangeLog INSTALL NEWS README |
39 |
PORTDOCS= AUTHORS COPYING ChangeLog INSTALL NEWS README |
37 |
|
40 |
|
38 |
BROKEN_aarch64= Fails to link: missing sbrk |
|
|
39 |
|
40 |
.include <bsd.port.options.mk> |
41 |
.include <bsd.port.options.mk> |
41 |
|
42 |
|
42 |
.if ${PORT_OPTIONS:MFULL_MAUDE} |
43 |
.if ${PORT_OPTIONS:MFULL_MAUDE} |
43 |
MASTER_SITES+= http://maude.lcc.uma.es/FullMaude/FM${FULL_MAUDE_VER}/:fm |
44 |
MASTER_SITES+= http://maude.cs.illinois.edu/w/images/c/ca/:fm |
44 |
FULL_MAUDE= full-maude${FULL_MAUDE_VER}.maude |
45 |
FULL_MAUDE= full-maude.maude |
45 |
FULL_MAUDE_DIST= full-maude.maude.zip |
46 |
FULL_MAUDE_DIST= Full-Maude-${PORTVERSION}.zip |
46 |
DISTFILES= ${DISTNAME}${EXTRACT_SUFX} ${FULL_MAUDE_DIST}:fm |
47 |
DISTFILES= ${DISTNAME}${EXTRACT_SUFX} ${FULL_MAUDE_DIST}:fm |
47 |
EXTRACT_ONLY= ${DISTNAME}${EXTRACT_SUFX} |
48 |
EXTRACT_ONLY= ${DISTNAME}${EXTRACT_SUFX} |
48 |
EXTRACT_DEPENDS+= ${LOCALBASE}/bin/unzip:archivers/unzip |
49 |
EXTRACT_DEPENDS+= ${LOCALBASE}/bin/unzip:archivers/unzip |