[MacPorts] #29335: Maude: new port version 2.6 (was: new port: Maude)

MacPorts noreply at macports.org
Sun May 1 15:58:03 PDT 2011


#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


More information about the macports-tickets mailing list