diff options
| author | Baptiste Daroussin <bapt@FreeBSD.org> | 2013-05-12 06:05:03 +0000 |
|---|---|---|
| committer | Baptiste Daroussin <bapt@FreeBSD.org> | 2013-05-12 06:05:03 +0000 |
| commit | a4336b798b285774b3b1fb7fdc8d492b389543c5 (patch) | |
| tree | f04b4da09af88440a84fa754093dfc6c176a91c1 /lang/maude | |
| parent | 7ea461e0f75038dea4ad43d5d686cc9125649eab (diff) | |
| download | ports-a4336b798b285774b3b1fb7fdc8d492b389543c5.tar.gz ports-a4336b798b285774b3b1fb7fdc8d492b389543c5.zip | |
Notes
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 a67f27144e7f..0aa61bf23b2a 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 |