diff options
author | Thomas Zander <riggs@FreeBSD.org> | 2014-09-03 19:58:36 +0000 |
---|---|---|
committer | Thomas Zander <riggs@FreeBSD.org> | 2014-09-03 19:58:36 +0000 |
commit | 75b430129cdc6b608ab021e0b2b5639a5d33448c (patch) | |
tree | c05e43a0ae0eb262574e9ca98a12ffb2812d2fbd /lang/maude/Makefile | |
parent | 8eb0c5a71dd24473659702bf0ce8d609376caab3 (diff) | |
download | ports-75b430129cdc6b608ab021e0b2b5639a5d33448c.tar.gz ports-75b430129cdc6b608ab021e0b2b5639a5d33448c.zip |
Notes
Diffstat (limited to 'lang/maude/Makefile')
-rw-r--r-- | lang/maude/Makefile | 23 |
1 files changed, 18 insertions, 5 deletions
diff --git a/lang/maude/Makefile b/lang/maude/Makefile index 4d99da4e3d68..2cc9be084653 100644 --- a/lang/maude/Makefile +++ b/lang/maude/Makefile @@ -3,6 +3,7 @@ PORTNAME= maude PORTVERSION= 2.6 +PORTREVISION= 1 CATEGORIES= lang MASTER_SITES= http://maude.cs.uiuc.edu/versions/${PORTVERSION}/ DISTNAME= Maude-${PORTVERSION} @@ -10,6 +11,10 @@ DISTNAME= Maude-${PORTVERSION} MAINTAINER= ports@FreeBSD.org COMMENT= High-performance reflective language +LICENSE= GPLv2 +LICENSE_FILE= ${WRKSRC}/COPYING + +BUILD_DEPENDS= ${LOCALBASE}/bin/flex:${PORTSDIR}/textproc/flex LIB_DEPENDS= libbdd.so:${PORTSDIR}/science/buddy \ libtecla.so:${PORTSDIR}/devel/libtecla \ libgmp.so:${PORTSDIR}/math/gmp \ @@ -22,16 +27,22 @@ GNU_CONFIGURE= yes CPPFLAGS+= -I${LOCALBASE}/include LDFLAGS+= -L${LOCALBASE}/lib CONFIGURE_ARGS= --datadir=${DATADIR} +MAKE_JOBS_UNSAFE= yes FULL_MAUDE_VER= 26b -OPTIONS_DEFINE= FULL_MAUDE +OPTIONS_DEFINE= DOCS FULL_MAUDE OPTIONS_DEFAULT= FULL_MAUDE FULL_MAUDE_DESC= Install full-maude${FULL_MAUDE_VER} -NO_STAGE= yes +PORTDOCS= AUTHORS COPYING ChangeLog INSTALL NEWS README + .include <bsd.port.options.mk> +.if ${OSVERSION} >= 1000000 +EXTRA_PATCHES+= ${FILESDIR}/extra-patch-Mixfix-lexerAux +.endif + .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 @@ -45,8 +56,8 @@ PLIST_SUB+= FULL_MAUDE_VER="${FULL_MAUDE_VER}" PLIST_SUB+= FULL_MAUDE="@comment " .endif -.if ${PORT_OPTIONS:MFULL_MAUDE} post-extract: +.if ${PORT_OPTIONS:MFULL_MAUDE} ${UNZIP_CMD} ${DISTDIR}/${FULL_MAUDE_DIST} ${FULL_MAUDE} -d ${WRKDIR} .endif @@ -54,9 +65,11 @@ 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} + ${MKDIR} ${STAGEDIR}${DOCSDIR} + cd ${WRKSRC} && ${INSTALL_DATA} ${PORTDOCS} ${STAGEDIR}${DOCSDIR} +.if ${PORT_OPTIONS:MFULL_MAUDE} + ${INSTALL_DATA} ${WRKDIR}/${FULL_MAUDE} ${STAGEDIR}${DATADIR} .endif .include <bsd.port.mk> |