aboutsummaryrefslogtreecommitdiffstats
path: root/lang/maude/Makefile
blob: 687fb60afd283db3e03926c24c6943cd298afd97 (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
# New ports collection makefile for:    maude
# Date created:             25 Mar 2005
# Whom:             Rick van der Zwet <rick@wzoeterwoude.net>
#
# $FreeBSD$
#

PORTNAME=   maude
PORTVERSION=    2.2
PORTREVISION=   1
CATEGORIES= lang
MASTER_SITES=   http://maude.cs.uiuc.edu/versions/${PORTVERSION}/
DISTNAME=   Maude-${PORTVERSION}

MAINTAINER= rick@wzoeterwoude.net
COMMENT=    A high-performance reflective language

LIB_DEPENDS=    bdd:${PORTSDIR}/science/buddy \
        tecla:${PORTSDIR}/devel/libtecla \
        gmp:${PORTSDIR}/math/libgmp4

USE_BISON=  build
GNU_CONFIGURE=  yes
CONFIGURE_ENV=  CPPFLAGS="-I${LOCALBASE}/include" LDFLAGS="-L${LOCALBASE}/lib"
CONFIGURE_ARGS= --datadir=${DATADIR}

post-patch:
    @${REINPLACE_CMD} -e 's|%%DATADIR%%|${DATADIR}|' \
        ${WRKSRC}/src/Mixfix/main.cc

.include <bsd.port.pre.mk>

.if ${OSVERSION} < 600000
BROKEN=     does not compile on 4.X or 5.X
.elif ${OSVERSION} >= 700042
.if ${ARCH} == "amd64" || ${ARCH} == "sparc64"
BROKEN=     Does not compile with GCC 4.2
.endif
.endif

.include <bsd.port.post.mk>