Date: Wed, 3 Sep 2014 20:17:33 +0000 (UTC) From: Thomas Zander <riggs@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-branches@freebsd.org Subject: svn commit: r367226 - in branches/2014Q3/lang/maude: . files Message-ID: <201409032017.s83KHXYL031849@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: riggs Date: Wed Sep 3 20:17:33 2014 New Revision: 367226 URL: http://svnweb.freebsd.org/changeset/ports/367226 QAT: https://qat.redports.org/buildarchive/r367226/ Log: MFH: r367223 - Stagify - Fix build on clang - Add MAKE_JOBS_UNSAFE - Add LICENSE - Add DOCS option - Bump PORTREVISION - Pet portlint PR: 191049 Submitted by: k@stereochro.me Reviewed by: cpm@fbsd.es, joemann@beefree.free.de, marino, riggs Final patch by: cpm@fbsd.es, riggs Approved by: portmgr (erwin) Added: branches/2014Q3/lang/maude/files/extra-patch-Mixfix-lexerAux - copied unchanged from r367223, head/lang/maude/files/extra-patch-Mixfix-lexerAux branches/2014Q3/lang/maude/files/patch-src__BuiltIn__stringOpSymbol.cc - copied unchanged from r367223, head/lang/maude/files/patch-src__BuiltIn__stringOpSymbol.cc branches/2014Q3/lang/maude/files/patch-src__Mixfix__bottom.yy - copied unchanged from r367223, head/lang/maude/files/patch-src__Mixfix__bottom.yy branches/2014Q3/lang/maude/files/patch-src__Mixfix__commands.yy - copied unchanged from r367223, head/lang/maude/files/patch-src__Mixfix__commands.yy branches/2014Q3/lang/maude/files/patch-src__Mixfix__interact.cc - copied unchanged from r367223, head/lang/maude/files/patch-src__Mixfix__interact.cc branches/2014Q3/lang/maude/files/patch-src__Mixfix__modules.yy - copied unchanged from r367223, head/lang/maude/files/patch-src__Mixfix__modules.yy branches/2014Q3/lang/maude/files/patch-src__Mixfix__token.cc - copied unchanged from r367223, head/lang/maude/files/patch-src__Mixfix__token.cc branches/2014Q3/lang/maude/files/patch-src__Mixfix__top.yy - copied unchanged from r367223, head/lang/maude/files/patch-src__Mixfix__top.yy branches/2014Q3/lang/maude/files/patch-src__ObjectSystem__configSymbol.hh - copied unchanged from r367223, head/lang/maude/files/patch-src__ObjectSystem__configSymbol.hh branches/2014Q3/lang/maude/files/patch-src__ObjectSystem__objectMap.cc - copied unchanged from r367223, head/lang/maude/files/patch-src__ObjectSystem__objectMap.cc branches/2014Q3/lang/maude/files/patch-src__ObjectSystem__objectSystemRewritingContext.hh - copied unchanged from r367223, head/lang/maude/files/patch-src__ObjectSystem__objectSystemRewritingContext.hh branches/2014Q3/lang/maude/files/patch-src__Utility__ropeStuff.hh - copied unchanged from r367223, head/lang/maude/files/patch-src__Utility__ropeStuff.hh Modified: branches/2014Q3/lang/maude/Makefile Directory Properties: branches/2014Q3/ (props changed) Modified: branches/2014Q3/lang/maude/Makefile ============================================================================== --- branches/2014Q3/lang/maude/Makefile Wed Sep 3 20:16:29 2014 (r367225) +++ branches/2014Q3/lang/maude/Makefile Wed Sep 3 20:17:33 2014 (r367226) @@ -3,17 +3,22 @@ PORTNAME= maude PORTVERSION= 2.6 +PORTREVISION= 1 CATEGORIES= lang MASTER_SITES= http://maude.cs.uiuc.edu/versions/${PORTVERSION}/ DISTNAME= Maude-${PORTVERSION} -MAINTAINER= joemann@beefree.free.de -COMMENT= A high-performance reflective language +MAINTAINER= ports@FreeBSD.org +COMMENT= High-performance reflective language -LIB_DEPENDS= bdd:${PORTSDIR}/science/buddy \ - tecla:${PORTSDIR}/devel/libtecla \ - gmp:${PORTSDIR}/math/gmp \ - sigsegv:${PORTSDIR}/devel/libsigsegv +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 \ + libsigsegv.so:${PORTSDIR}/devel/libsigsegv USES= bison USE_AUTOTOOLS= aclocal autoheader automake @@ -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 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> Copied: branches/2014Q3/lang/maude/files/extra-patch-Mixfix-lexerAux (from r367223, head/lang/maude/files/extra-patch-Mixfix-lexerAux) ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ branches/2014Q3/lang/maude/files/extra-patch-Mixfix-lexerAux Wed Sep 3 20:17:33 2014 (r367226, copy of r367223, head/lang/maude/files/extra-patch-Mixfix-lexerAux) @@ -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(); Copied: branches/2014Q3/lang/maude/files/patch-src__BuiltIn__stringOpSymbol.cc (from r367223, head/lang/maude/files/patch-src__BuiltIn__stringOpSymbol.cc) ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ branches/2014Q3/lang/maude/files/patch-src__BuiltIn__stringOpSymbol.cc Wed Sep 3 20:17:33 2014 (r367226, copy of r367223, head/lang/maude/files/patch-src__BuiltIn__stringOpSymbol.cc) @@ -0,0 +1,11 @@ +--- ./src/BuiltIn/stringOpSymbol.cc.orig 2014-09-03 02:36:06.000000000 +0200 ++++ ./src/BuiltIn/stringOpSymbol.cc 2014-09-03 02:32:45.000000000 +0200 +@@ -472,7 +472,7 @@ + const mpz_class& n0 = succSymbol->getNat(a0); + if (n0 <= 255) + { +- char c = n0.get_si(); ++ char c[2] = { n0.get_si(), 0 }; + return rewriteToString(subject, context, crope(c)); + } + } Copied: branches/2014Q3/lang/maude/files/patch-src__Mixfix__bottom.yy (from r367223, head/lang/maude/files/patch-src__Mixfix__bottom.yy) ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ branches/2014Q3/lang/maude/files/patch-src__Mixfix__bottom.yy Wed Sep 3 20:17:33 2014 (r367226, copy of r367223, head/lang/maude/files/patch-src__Mixfix__bottom.yy) @@ -0,0 +1,11 @@ +--- ./src/Mixfix/bottom.yy.orig 2014-09-03 02:49:14.000000000 +0200 ++++ ./src/Mixfix/bottom.yy 2014-09-03 02:50:56.000000000 +0200 +@@ -23,7 +23,7 @@ + %% + + static void +-yyerror(char *s) ++yyerror(UserLevelRewritingContext::ParseResult *parseResult, char *s) + { + if (!(UserLevelRewritingContext::interrupted())) + IssueWarning(LineNumber(lineNumber) << ": " << s); Copied: branches/2014Q3/lang/maude/files/patch-src__Mixfix__commands.yy (from r367223, head/lang/maude/files/patch-src__Mixfix__commands.yy) ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ branches/2014Q3/lang/maude/files/patch-src__Mixfix__commands.yy Wed Sep 3 20:17:33 2014 (r367226, copy of r367223, head/lang/maude/files/patch-src__Mixfix__commands.yy) @@ -0,0 +1,17 @@ +--- ./src/Mixfix/commands.yy.orig 2014-09-03 02:51:54.000000000 +0200 ++++ ./src/Mixfix/commands.yy 2014-09-03 02:53:05.000000000 +0200 +@@ -23,12 +23,12 @@ + /* + * Commands. + */ +-command : KW_SELECT { lexBubble(END_COMMAND, 1) } ++command : KW_SELECT { lexBubble(END_COMMAND, 1); } + endBubble + { + interpreter.setCurrentModule(lexerBubble); + } +- | KW_DUMP { lexBubble(END_COMMAND, 1) } ++ | KW_DUMP { lexBubble(END_COMMAND, 1); } + endBubble + { + if (interpreter.setCurrentModule(lexerBubble)) Copied: branches/2014Q3/lang/maude/files/patch-src__Mixfix__interact.cc (from r367223, head/lang/maude/files/patch-src__Mixfix__interact.cc) ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ branches/2014Q3/lang/maude/files/patch-src__Mixfix__interact.cc Wed Sep 3 20:17:33 2014 (r367226, copy of r367223, head/lang/maude/files/patch-src__Mixfix__interact.cc) @@ -0,0 +1,18 @@ +--- ./src/Mixfix/interact.cc.orig 2014-09-03 02:53:35.000000000 +0200 ++++ ./src/Mixfix/interact.cc 2014-09-03 02:54:14.000000000 +0200 +@@ -25,13 +25,14 @@ + // + #include <signal.h> + ++#include "surface.h" ++ + bool UserLevelRewritingContext::interactiveFlag = true; + bool UserLevelRewritingContext::ctrlC_Flag = false; + bool UserLevelRewritingContext::stepFlag = false; + bool UserLevelRewritingContext::abortFlag = false; + int UserLevelRewritingContext::debugLevel = 0; + +-int yyparse(void*); + void cleanUpParser(); + void cleanUpLexer(); + Copied: branches/2014Q3/lang/maude/files/patch-src__Mixfix__modules.yy (from r367223, head/lang/maude/files/patch-src__Mixfix__modules.yy) ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ branches/2014Q3/lang/maude/files/patch-src__Mixfix__modules.yy Wed Sep 3 20:17:33 2014 (r367226, copy of r367223, head/lang/maude/files/patch-src__Mixfix__modules.yy) @@ -0,0 +1,11 @@ +--- ./src/Mixfix/modules.yy.orig 2014-09-03 02:57:44.000000000 +0200 ++++ ./src/Mixfix/modules.yy 2014-09-03 02:58:03.000000000 +0200 +@@ -247,7 +247,7 @@ + // press on. + // + opDescription = lexerBubble; +- lexBubble(END_STATEMENT, 1) ++ lexBubble(END_STATEMENT, 1); + } + endBubble + { Copied: branches/2014Q3/lang/maude/files/patch-src__Mixfix__token.cc (from r367223, head/lang/maude/files/patch-src__Mixfix__token.cc) ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ branches/2014Q3/lang/maude/files/patch-src__Mixfix__token.cc Wed Sep 3 20:17:33 2014 (r367226, copy of r367223, head/lang/maude/files/patch-src__Mixfix__token.cc) @@ -0,0 +1,11 @@ +--- ./src/Mixfix/token.cc.orig 2014-09-03 02:58:50.000000000 +0200 ++++ ./src/Mixfix/token.cc 2014-09-03 02:59:18.000000000 +0200 +@@ -632,7 +632,7 @@ + } + } + } +- result.append(c); ++ result.push_back(c); + seenBackslash = false; + } + CantHappen("bad end to string"); Copied: branches/2014Q3/lang/maude/files/patch-src__Mixfix__top.yy (from r367223, head/lang/maude/files/patch-src__Mixfix__top.yy) ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ branches/2014Q3/lang/maude/files/patch-src__Mixfix__top.yy Wed Sep 3 20:17:33 2014 (r367226, copy of r367223, head/lang/maude/files/patch-src__Mixfix__top.yy) @@ -0,0 +1,25 @@ +--- ./src/Mixfix/top.yy.orig 2014-09-03 03:00:02.000000000 +0200 ++++ ./src/Mixfix/top.yy 2014-09-03 03:02:15.000000000 +0200 +@@ -59,7 +59,6 @@ + #define store(token) tokenSequence.append(token) + #define fragClear() fragments.contractTo(0); + #define fragStore(token) fragments.append(token) +-#define YYPARSE_PARAM parseResult + #define PARSE_RESULT (*((UserLevelRewritingContext::ParseResult*) parseResult)) + + #define CM interpreter.getCurrentModule() +@@ -91,12 +90,13 @@ + Int64 number; + Int64 number2; + +-static void yyerror(char *s); ++static void yyerror(UserLevelRewritingContext::ParseResult *parseResult, char *s); + + void cleanUpModuleExpression(); + void cleanUpParser(); + void missingSpace(const Token& token); + %} ++%parse-param { UserLevelRewritingContext::ParseResult *parseResult } + %pure_parser + + %union Copied: branches/2014Q3/lang/maude/files/patch-src__ObjectSystem__configSymbol.hh (from r367223, head/lang/maude/files/patch-src__ObjectSystem__configSymbol.hh) ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ branches/2014Q3/lang/maude/files/patch-src__ObjectSystem__configSymbol.hh Wed Sep 3 20:17:33 2014 (r367226, copy of r367223, head/lang/maude/files/patch-src__ObjectSystem__configSymbol.hh) @@ -0,0 +1,11 @@ +--- ./src/ObjectSystem/configSymbol.hh.orig 2014-09-03 02:37:37.000000000 +0200 ++++ ./src/ObjectSystem/configSymbol.hh 2014-09-03 02:38:05.000000000 +0200 +@@ -50,7 +50,7 @@ + private: + struct symbolLt + { +- bool operator()(const Symbol* d1, const Symbol* d2) ++ bool operator()(const Symbol* d1, const Symbol* d2) const + { + return d1->compare(d2) < 0; + } Copied: branches/2014Q3/lang/maude/files/patch-src__ObjectSystem__objectMap.cc (from r367223, head/lang/maude/files/patch-src__ObjectSystem__objectMap.cc) ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ branches/2014Q3/lang/maude/files/patch-src__ObjectSystem__objectMap.cc Wed Sep 3 20:17:33 2014 (r367226, copy of r367223, head/lang/maude/files/patch-src__ObjectSystem__objectMap.cc) @@ -0,0 +1,11 @@ +--- ./src/ObjectSystem/objectMap.cc.orig 2014-09-03 02:39:09.000000000 +0200 ++++ ./src/ObjectSystem/objectMap.cc 2014-09-03 02:39:20.000000000 +0200 +@@ -50,7 +50,7 @@ + + struct ConfigSymbol::dagNodeLt + { +- bool operator()(const DagNode* d1, const DagNode* d2) ++ bool operator()(const DagNode* d1, const DagNode* d2) const + { + return d1->compare(d2) < 0; + } Copied: branches/2014Q3/lang/maude/files/patch-src__ObjectSystem__objectSystemRewritingContext.hh (from r367223, head/lang/maude/files/patch-src__ObjectSystem__objectSystemRewritingContext.hh) ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ branches/2014Q3/lang/maude/files/patch-src__ObjectSystem__objectSystemRewritingContext.hh Wed Sep 3 20:17:33 2014 (r367226, copy of r367223, head/lang/maude/files/patch-src__ObjectSystem__objectSystemRewritingContext.hh) @@ -0,0 +1,11 @@ +--- ./src/ObjectSystem/objectSystemRewritingContext.hh.orig 2014-09-03 02:40:31.000000000 +0200 ++++ ./src/ObjectSystem/objectSystemRewritingContext.hh 2014-09-03 02:40:48.000000000 +0200 +@@ -62,7 +62,7 @@ + private: + struct dagNodeLt + { +- bool operator()(const DagNode* d1, const DagNode* d2) ++ bool operator()(const DagNode* d1, const DagNode* d2) const + { + return d1->compare(d2) < 0; + } Copied: branches/2014Q3/lang/maude/files/patch-src__Utility__ropeStuff.hh (from r367223, head/lang/maude/files/patch-src__Utility__ropeStuff.hh) ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ branches/2014Q3/lang/maude/files/patch-src__Utility__ropeStuff.hh Wed Sep 3 20:17:33 2014 (r367226, copy of r367223, head/lang/maude/files/patch-src__Utility__ropeStuff.hh) @@ -0,0 +1,20 @@ +--- ./src/Utility/ropeStuff.hh.orig 2014-09-03 02:27:15.000000000 +0200 ++++ ./src/Utility/ropeStuff.hh 2014-09-03 02:28:58.000000000 +0200 +@@ -25,6 +25,11 @@ + // + #ifndef _ropeStuff_hh_ + #define _ropeStuff_hh_ ++#include <cstddef> ++#ifdef _LIBCPP_VERSION ++#include <string> ++typedef std::string crope; ++#else + #ifdef __GNUC__ + #if __GNUC__ < 3 + #include <rope.h> +@@ -50,3 +55,5 @@ + #include <rope> + #endif + #endif ++ ++#endif
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201409032017.s83KHXYL031849>