blob: 6c5902791866f814188e3ed9c7c97a4982436af8 (
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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
# Created by: Rick van der Zwet <rick@wzoeterwoude.net>
# $FreeBSD$
PORTNAME= maude
PORTVERSION= 2.6
CATEGORIES= lang
MASTER_SITES= http://maude.cs.uiuc.edu/versions/${PORTVERSION}/
DISTNAME= Maude-${PORTVERSION}
MAINTAINER= joemann@beefree.free.de
COMMENT= A high-performance reflective language
LIB_DEPENDS= bdd:${PORTSDIR}/science/buddy \
tecla:${PORTSDIR}/devel/libtecla \
gmp:${PORTSDIR}/math/gmp \
sigsegv:${PORTSDIR}/devel/libsigsegv
USES= bison
USE_AUTOTOOLS= aclocal autoheader automake
AUTOMAKE_ARGS= --add-missing
GNU_CONFIGURE= yes
CPPFLAGS+= -I${LOCALBASE}/include
LDFLAGS+= -L${LOCALBASE}/lib
CONFIGURE_ARGS= --datadir=${DATADIR}
FULL_MAUDE_VER= 26b
OPTIONS_DEFINE= FULL_MAUDE
OPTIONS_DEFAULT= FULL_MAUDE
FULL_MAUDE_DESC= Install full-maude${FULL_MAUDE_VER}
NO_STAGE= yes
.include <bsd.port.options.mk>
.if ${PORT_OPTIONS:MFULL_MAUDE}
MASTER_SITES+= http://maude.lcc.uma.es/FullMaude/FM${FULL_MAUDE_VER}/:fm
FULL_MAUDE= full-maude${FULL_MAUDE_VER}.maude
FULL_MAUDE_DIST= ${FULL_MAUDE}.zip
DISTFILES= ${DISTNAME}${EXTRACT_SUFX} ${FULL_MAUDE_DIST}:fm
EXTRACT_ONLY= ${DISTNAME}${EXTRACT_SUFX}
EXTRACT_DEPENDS+= ${LOCALBASE}/bin/unzip:${PORTSDIR}/archivers/unzip
PLIST_SUB+= FULL_MAUDE=""
PLIST_SUB+= FULL_MAUDE_VER="${FULL_MAUDE_VER}"
.else
PLIST_SUB+= FULL_MAUDE="@comment "
.endif
.if ${PORT_OPTIONS:MFULL_MAUDE}
post-extract:
${UNZIP_CMD} ${DISTDIR}/${FULL_MAUDE_DIST} ${FULL_MAUDE} -d ${WRKDIR}
.endif
post-patch:
@${REINPLACE_CMD} -e 's|%%DATADIR%%|${DATADIR}|' \
${WRKSRC}/src/Mixfix/global.hh
.if ${PORT_OPTIONS:MFULL_MAUDE}
post-install:
${INSTALL_DATA} ${WRKDIR}/${FULL_MAUDE} ${DATADIR}
.endif
.include <bsd.port.mk>
|
