[MacPorts] #29335: new port: Maude
#29335: new port: Maude -------------------------------+-------------------------------------------- Reporter: dcolish@… | Owner: macports-tickets@… Type: submission | Status: new Priority: Normal | Milestone: Component: ports | Version: 1.9.2 Keywords: | Port: -------------------------------+-------------------------------------------- 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. -- Ticket URL: <https://trac.macports.org/ticket/29335> MacPorts <http://www.macports.org/> Ports system for Mac OS
#29335: new port: Maude -------------------------------+-------------------------------------------- Reporter: dcolish@… | Owner: ryandesign@… Type: submission | Status: assigned Priority: Normal | Milestone: Component: ports | Version: 1.9.2 Keywords: | Port: Maude -------------------------------+-------------------------------------------- Changes (by ryandesign@…): * status: new => assigned * owner: macports-tickets@… => ryandesign@… * port: => Maude Comment: Thanks. -- Ticket URL: <https://trac.macports.org/ticket/29335#comment:1> MacPorts <http://www.macports.org/> Ports system for Mac OS
#29335: Maude: new port version 2.6 --------------------------------+------------------------------------------- Reporter: dcolish@… | Owner: ryandesign@… Type: submission | Status: closed Priority: Normal | Milestone: Component: ports | Version: 1.9.2 Resolution: fixed | Keywords: Port: Maude | --------------------------------+------------------------------------------- Changes (by ryandesign@…): * status: assigned => closed * resolution: => fixed Comment: 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 -- Ticket URL: <https://trac.macports.org/ticket/29335#comment:2> MacPorts <http://www.macports.org/> Ports system for Mac OS
#29335: Maude: new port version 2.6 --------------------------------+------------------------------------------- Reporter: dcolish@… | Owner: ryandesign@… Type: submission | Status: closed Priority: Normal | Milestone: Component: ports | Version: 1.9.2 Resolution: fixed | Keywords: Port: Maude | --------------------------------+------------------------------------------- Comment(by dcolish@…): wow! thank you for the fixes/comments! I'll look into the universal variant issues. -- Ticket URL: <https://trac.macports.org/ticket/29335#comment:3> MacPorts <http://www.macports.org/> Ports system for Mac OS
participants (1)
-
MacPorts