diff options
author | Edwin Groothuis <edwin@FreeBSD.org> | 2008-08-15 00:34:02 +0000 |
---|---|---|
committer | Edwin Groothuis <edwin@FreeBSD.org> | 2008-08-15 00:34:02 +0000 |
commit | e26e1fd281ecca951e642436c2f2d2cfe7489a6f (patch) | |
tree | 11edd670f3e6b7dcb4d29cad5f5e022eeb8ef85d /lang/maude/Makefile | |
parent | d5d8070b22109aeb232c0f663379ccae9c7cea65 (diff) | |
download | ports-e26e1fd281ecca951e642436c2f2d2cfe7489a6f.tar.gz ports-e26e1fd281ecca951e642436c2f2d2cfe7489a6f.zip |
Notes
Diffstat (limited to 'lang/maude/Makefile')
-rw-r--r-- | lang/maude/Makefile | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/lang/maude/Makefile b/lang/maude/Makefile index efce5ce86413..94c12d50f35b 100644 --- a/lang/maude/Makefile +++ b/lang/maude/Makefile @@ -6,8 +6,7 @@ # PORTNAME= maude -PORTVERSION= 2.2 -PORTREVISION= 1 +PORTVERSION= 2.3 CATEGORIES= lang MASTER_SITES= http://maude.cs.uiuc.edu/versions/${PORTVERSION}/ DISTNAME= Maude-${PORTVERSION} @@ -20,20 +19,20 @@ LIB_DEPENDS= bdd:${PORTSDIR}/science/buddy \ gmp:${PORTSDIR}/math/libgmp4 USE_BISON= build +USE_AUTOTOOLS= aclocal:19 automake:19 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 + ${WRKSRC}/src/Mixfix/global.hh + .include <bsd.port.pre.mk> .if ${OSVERSION} < 600000 BROKEN= does not compile on 4.X or 5.X -.elif ${OSVERSION} >= 700042 -BROKEN= Does not compile with GCC 4.2 .endif .include <bsd.port.post.mk> |