Maude: new port version 2.6

[dcolish@…]

I would like to propose the addition of Maude to the supported ports. Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications.

[dcolish@…]

Portfile

[dcolish@…]

Makefile.in patch

[ryandesign (Ryan Carsten Schmidt)]

Thanks.

[ryandesign (Ryan Carsten Schmidt)]

Committed in r78298 with these changes:

• Added $Id$ line
• Used consistent whitespace (4-space indentation, as the modeline says)
• pulled a sentence fragment from the long description to use as the description
• fixed syntax of long description (backslashes at end of lines)
• removed md5 checksum because we're gradually removing it from MacPorts
• reused homepage variable in master_sites definition
• made flex and bison build dependencies instead of library dependencies (unless you have information that they are used at runtime as well?)
• added library dependency on libsigsegv to prevent build error "In file included from interpreterManagerSymbol.cc:61: ../../src/Mixfix/userLevelRewritingContext.hh:30:21: error: sigsegv.h: No such file or directory"
• removed "--prefix=${prefix}" from configure.args; MacPorts has already put that in configure.pre_args for you
• removed "destroot.target install"; that's the default
• changed post-install ui_msg to use the new notes feature and don't hardcode /opt/local in the message
• fixed livecheck

[dcolish@…]

wow! thank you for the fixes/comments! I'll look into the universal variant issues.