Lines 3-8
Link Here
|
3 |
|
3 |
|
4 |
PORTNAME= maude |
4 |
PORTNAME= maude |
5 |
PORTVERSION= 2.6 |
5 |
PORTVERSION= 2.6 |
|
|
6 |
PORTREVISION= 1 |
6 |
CATEGORIES= lang |
7 |
CATEGORIES= lang |
7 |
MASTER_SITES= http://maude.cs.uiuc.edu/versions/${PORTVERSION}/ |
8 |
MASTER_SITES= http://maude.cs.uiuc.edu/versions/${PORTVERSION}/ |
8 |
DISTNAME= Maude-${PORTVERSION} |
9 |
DISTNAME= Maude-${PORTVERSION} |
Lines 10-20
Link Here
|
10 |
MAINTAINER= joemann@beefree.free.de |
11 |
MAINTAINER= joemann@beefree.free.de |
11 |
COMMENT= A high-performance reflective language |
12 |
COMMENT= A high-performance reflective language |
12 |
|
13 |
|
13 |
LIB_DEPENDS= bdd:${PORTSDIR}/science/buddy \ |
14 |
LICENSE= GPLv2 |
14 |
tecla:${PORTSDIR}/devel/libtecla \ |
|
|
15 |
gmp:${PORTSDIR}/math/gmp \ |
16 |
sigsegv:${PORTSDIR}/devel/libsigsegv |
17 |
|
15 |
|
|
|
16 |
LIB_DEPENDS= libbdd.so:${PORTSDIR}/science/buddy \ |
17 |
libtecla.so:${PORTSDIR}/devel/libtecla \ |
18 |
libgmp.so:${PORTSDIR}/math/gmp \ |
19 |
libsigsegv.so:${PORTSDIR}/devel/libsigsegv |
20 |
|
18 |
USES= bison |
21 |
USES= bison |
19 |
USE_AUTOTOOLS= aclocal autoheader automake |
22 |
USE_AUTOTOOLS= aclocal autoheader automake |
20 |
AUTOMAKE_ARGS= --add-missing |
23 |
AUTOMAKE_ARGS= --add-missing |
Lines 29-35
Link Here
|
29 |
OPTIONS_DEFAULT= FULL_MAUDE |
32 |
OPTIONS_DEFAULT= FULL_MAUDE |
30 |
FULL_MAUDE_DESC= Install full-maude${FULL_MAUDE_VER} |
33 |
FULL_MAUDE_DESC= Install full-maude${FULL_MAUDE_VER} |
31 |
|
34 |
|
32 |
NO_STAGE= yes |
|
|
33 |
.include <bsd.port.options.mk> |
35 |
.include <bsd.port.options.mk> |
34 |
|
36 |
|
35 |
.if ${PORT_OPTIONS:MFULL_MAUDE} |
37 |
.if ${PORT_OPTIONS:MFULL_MAUDE} |
Lines 56-62
Link Here
|
56 |
|
58 |
|
57 |
.if ${PORT_OPTIONS:MFULL_MAUDE} |
59 |
.if ${PORT_OPTIONS:MFULL_MAUDE} |
58 |
post-install: |
60 |
post-install: |
59 |
${INSTALL_DATA} ${WRKDIR}/${FULL_MAUDE} ${DATADIR} |
61 |
${INSTALL_DATA} ${WRKDIR}/${FULL_MAUDE} ${STAGEDIR}${DATADIR} |
60 |
.endif |
62 |
.endif |
61 |
|
63 |
|
62 |
.include <bsd.port.mk> |
64 |
.include <bsd.port.mk> |