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

PORTNAME=   maude
PORTVERSION=    2.3
PORTREVISION=   2
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/gmp

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

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


.include <bsd.port.mk>