diff options
| author | bapt <bapt@FreeBSD.org> | 2013-05-12 06:05:03 +0000 |
|---|---|---|
| committer | bapt <bapt@FreeBSD.org> | 2013-05-12 06:05:03 +0000 |
| commit | 5cdd435b52ee9c3569a74925bf6839c9fae9143b (patch) | |
| tree | f04b4da09af88440a84fa754093dfc6c176a91c1 /lang/maude | |
| parent | f1a65685968e16bcfbd626772d7b1599f4566096 (diff) | |
| download | FreeBSD-ports-5cdd435b52ee9c3569a74925bf6839c9fae9143b.zip FreeBSD-ports-5cdd435b52ee9c3569a74925bf6839c9fae9143b.tar.gz | |
Convert to new options framework
Diffstat (limited to 'lang/maude')
| -rw-r--r-- | lang/maude/Makefile | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/lang/maude/Makefile b/lang/maude/Makefile index a67f271..0aa61bf 100644 --- a/lang/maude/Makefile +++ b/lang/maude/Makefile @@ -23,11 +23,14 @@ LDFLAGS+= -L${LOCALBASE}/lib CONFIGURE_ARGS= --datadir=${DATADIR} FULL_MAUDE_VER= 26b -OPTIONS= FULL_MAUDE "Install full-maude${FULL_MAUDE_VER}" On + +OPTIONS_DEFINE= FULL_MAUDE +OPTIONS_DEFAULT= FULL_MAUDE +FULL_MAUDE_DESC= Install full-maude${FULL_MAUDE_VER} .include <bsd.port.options.mk> -.if defined(WITH_FULL_MAUDE) +.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 FULL_MAUDE_DIST= ${FULL_MAUDE}.zip @@ -40,7 +43,7 @@ PLIST_SUB+= FULL_MAUDE_VER="${FULL_MAUDE_VER}" PLIST_SUB+= FULL_MAUDE="@comment " .endif -.if defined(WITH_FULL_MAUDE) +.if ${PORT_OPTIONS:MFULL_MAUDE} post-extract: ${UNZIP_CMD} ${DISTDIR}/${FULL_MAUDE_DIST} ${FULL_MAUDE} -d ${WRKDIR} .endif @@ -49,7 +52,7 @@ post-patch: @${REINPLACE_CMD} -e 's|%%DATADIR%%|${DATADIR}|' \ ${WRKSRC}/src/Mixfix/global.hh -.if defined(WITH_FULL_MAUDE) +.if ${PORT_OPTIONS:MFULL_MAUDE} post-install: ${INSTALL_DATA} ${WRKDIR}/${FULL_MAUDE} ${DATADIR} .endif |
