Index: head/lang/maude/Makefile =================================================================== --- head/lang/maude/Makefile (revision 431247) +++ head/lang/maude/Makefile (revision 431248) @@ -1,77 +1,71 @@ # Created by: Rick van der Zwet # $FreeBSD$ PORTNAME= maude PORTVERSION= 2.6 PORTREVISION= 1 CATEGORIES= lang MASTER_SITES= http://maude.cs.illinois.edu/versions/${PORTVERSION}/ DISTNAME= Maude-${PORTVERSION} MAINTAINER= ports@FreeBSD.org COMMENT= High-performance reflective language LICENSE= GPLv2 LICENSE_FILE= ${WRKSRC}/COPYING BUILD_DEPENDS= ${LOCALBASE}/bin/flex:textproc/flex LIB_DEPENDS= libbdd.so:science/buddy \ libtecla.so:devel/libtecla \ libgmp.so:math/gmp \ libsigsegv.so:devel/libsigsegv USES= alias autoreconf bison ncurses GNU_CONFIGURE= yes CPPFLAGS+= -I${NCURSESINC} -I${LOCALBASE}/include LDFLAGS+= -L${NCURSESLIB} -L${LOCALBASE}/lib CONFIGURE_ARGS= --datadir=${DATADIR} MAKE_JOBS_UNSAFE= yes FULL_MAUDE_VER= 26b OPTIONS_DEFINE= DOCS FULL_MAUDE OPTIONS_DEFAULT= FULL_MAUDE FULL_MAUDE_DESC= Install full-maude${FULL_MAUDE_VER} PORTDOCS= AUTHORS COPYING ChangeLog INSTALL NEWS README BROKEN_aarch64= Fails to link: missing sbrk .include -.if ${OPSYS} == "DragonFly" || ${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 FULL_MAUDE_DIST= full-maude.maude.zip DISTFILES= ${DISTNAME}${EXTRACT_SUFX} ${FULL_MAUDE_DIST}:fm EXTRACT_ONLY= ${DISTNAME}${EXTRACT_SUFX} EXTRACT_DEPENDS+= ${LOCALBASE}/bin/unzip:archivers/unzip PLIST_SUB+= FULL_MAUDE="" PLIST_SUB+= FULL_MAUDE_VER="${FULL_MAUDE_VER}" .else PLIST_SUB+= FULL_MAUDE="@comment " .endif -post-extract: -.if ${PORT_OPTIONS:MFULL_MAUDE} +post-extract-FULL_MAUDE-on: ${UNZIP_CMD} ${DISTDIR}/${FULL_MAUDE_DIST} ${FULL_MAUDE} -d ${WRKDIR} -.endif post-patch: @${REINPLACE_CMD} -e 's|%%DATADIR%%|${DATADIR}|' \ ${WRKSRC}/src/Mixfix/global.hh @${REINPLACE_CMD} -e 's|-lcurses|-lncurses|g' \ ${WRKSRC}/configure.ac -post-install: - ${MKDIR} ${STAGEDIR}${DOCSDIR} +post-install-DOCS-on: + @${MKDIR} ${STAGEDIR}${DOCSDIR} cd ${WRKSRC} && ${INSTALL_DATA} ${PORTDOCS} ${STAGEDIR}${DOCSDIR} -.if ${PORT_OPTIONS:MFULL_MAUDE} + +post-install-FULL_MAUDE-on: ${INSTALL_DATA} ${WRKDIR}/${FULL_MAUDE} ${STAGEDIR}${DATADIR} -.endif .include Index: head/lang/maude/files/extra-patch-Mixfix-lexerAux =================================================================== --- head/lang/maude/files/extra-patch-Mixfix-lexerAux (revision 431247) +++ head/lang/maude/files/extra-patch-Mixfix-lexerAux (nonexistent) @@ -1,22 +0,0 @@ ---- ./src/Mixfix/lexerAux.cc.orig 2014-09-03 02:54:57.000000000 +0200 -+++ ./src/Mixfix/lexerAux.cc 2014-09-03 02:55:40.000000000 +0200 -@@ -35,7 +35,7 @@ - bool fakeNewlineStack[MAX_IN_DEPTH]; - - void --getInput(char* buf, int& result, int max_size) -+getInput(char* buf, size_t& result, size_t max_size) - { - result = YY_NULL; - if (UserLevelRewritingContext::interrupted()) ---- ./src/Mixfix/lexerAux.hh.orig 2014-09-03 02:56:33.000000000 +0200 -+++ ./src/Mixfix/lexerAux.hh 2014-09-03 02:57:05.000000000 +0200 -@@ -27,7 +27,7 @@ - //extern int inStackPtr; - //extern YY_BUFFER_STATE inStack[]; - --void getInput(char* buf, int& result, int max_size); -+void getInput(char* buf, size_t& result, size_t max_size); - void lexerIdMode(); - void lexerTokenTreeMode(int terminatingTokens); - void lexerCmdMode(); Property changes on: head/lang/maude/files/extra-patch-Mixfix-lexerAux ___________________________________________________________________ Deleted: fbsd:nokeywords ## -1 +0,0 ## -yes \ No newline at end of property Deleted: svn:eol-style ## -1 +0,0 ## -native \ No newline at end of property Deleted: svn:mime-type ## -1 +0,0 ## -text/plain \ No newline at end of property Index: head/lang/maude/files/patch-Mixfix-lexerAux =================================================================== --- head/lang/maude/files/patch-Mixfix-lexerAux (nonexistent) +++ head/lang/maude/files/patch-Mixfix-lexerAux (revision 431248) @@ -0,0 +1,22 @@ +--- ./src/Mixfix/lexerAux.cc.orig 2014-09-03 02:54:57.000000000 +0200 ++++ ./src/Mixfix/lexerAux.cc 2014-09-03 02:55:40.000000000 +0200 +@@ -35,7 +35,7 @@ + bool fakeNewlineStack[MAX_IN_DEPTH]; + + void +-getInput(char* buf, int& result, int max_size) ++getInput(char* buf, size_t& result, size_t max_size) + { + result = YY_NULL; + if (UserLevelRewritingContext::interrupted()) +--- ./src/Mixfix/lexerAux.hh.orig 2014-09-03 02:56:33.000000000 +0200 ++++ ./src/Mixfix/lexerAux.hh 2014-09-03 02:57:05.000000000 +0200 +@@ -27,7 +27,7 @@ + //extern int inStackPtr; + //extern YY_BUFFER_STATE inStack[]; + +-void getInput(char* buf, int& result, int max_size); ++void getInput(char* buf, size_t& result, size_t max_size); + void lexerIdMode(); + void lexerTokenTreeMode(int terminatingTokens); + void lexerCmdMode(); Property changes on: head/lang/maude/files/patch-Mixfix-lexerAux ___________________________________________________________________ Added: fbsd:nokeywords ## -0,0 +1 ## +yes \ No newline at end of property Added: svn:eol-style ## -0,0 +1 ## +native \ No newline at end of property Added: svn:mime-type ## -0,0 +1 ## +text/plain \ No newline at end of property