diff options
| author | scheidell <scheidell@FreeBSD.org> | 2011-12-04 04:41:56 +0800 |
|---|---|---|
| committer | scheidell <scheidell@FreeBSD.org> | 2011-12-04 04:41:56 +0800 |
| commit | a6c078d6b6a1d3552441cbcac09913fb7c96160c (patch) | |
| tree | 32fda71b582dcaf033921bfdd0ac2a8a8d3e41e5 /lang/maude/Makefile | |
| parent | b5b35ca534dc82d19d6df9fc9cabbcc4a0f8f49f (diff) | |
| download | freebsd-ports-graphics-a6c078d6b6a1d3552441cbcac09913fb7c96160c.tar.gz freebsd-ports-graphics-a6c078d6b6a1d3552441cbcac09913fb7c96160c.tar.zst freebsd-ports-graphics-a6c078d6b6a1d3552441cbcac09913fb7c96160c.zip | |
- Update to 2.6.
- Make all files in ${DATADIR} loadable by filename without an explicit path,
and without setting MAUDE_LIB. Currently only
${DATADIR}/prelude.maude is loaded (during startup).
- Add option FULL_MAUDE (default: on) for user convenience. This
installs full-maude26b.maude into ${DATADIR}.
- previous maintainer turns port over to committer
PR: ports/162955
Submitted by: joemann@beefree.free.de
Reviewed by: info@rickvanderzwet.nl
Approved by: maintainer, gabor(mentor)
Feature safe: yes
Diffstat (limited to 'lang/maude/Makefile')
| -rw-r--r-- | lang/maude/Makefile | 36 |
1 files changed, 32 insertions, 4 deletions
diff --git a/lang/maude/Makefile b/lang/maude/Makefile index 0ee312a97c3..36bad1e5657 100644 --- a/lang/maude/Makefile +++ b/lang/maude/Makefile @@ -6,28 +6,56 @@ # PORTNAME= maude -PORTVERSION= 2.3 -PORTREVISION= 2 +PORTVERSION= 2.6 CATEGORIES= lang MASTER_SITES= http://maude.cs.uiuc.edu/versions/${PORTVERSION}/ DISTNAME= Maude-${PORTVERSION} -MAINTAINER= rick@wzoeterwoude.net +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 + gmp:${PORTSDIR}/math/gmp \ + sigsegv:${PORTSDIR}/devel/libsigsegv USE_BISON= build +USE_AUTOTOOLS= aclocal autoheader automake GNU_CONFIGURE= yes CPPFLAGS+= -I${LOCALBASE}/include LDFLAGS+= -L${LOCALBASE}/lib CONFIGURE_ARGS= --datadir=${DATADIR} +FULL_MAUDE_VER= 26b +OPTIONS= FULL_MAUDE "Install full-maude${FULL_MAUDE_VER}" On + +.include <bsd.port.options.mk> + +.if defined(WITH_FULL_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+= unzip:${PORTSDIR}/archivers/unzip +PLIST_SUB+= FULL_MAUDE="" +PLIST_SUB+= FULL_MAUDE_VER="${FULL_MAUDE_VER}" +.else +PLIST_SUB+= FULL_MAUDE="@comment " +.endif + +.if defined(WITH_FULL_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 defined(WITH_FULL_MAUDE) +post-install: + ${INSTALL_DATA} ${WRKDIR}/${FULL_MAUDE} ${DATADIR} +.endif .include <bsd.port.mk> |