Opened 14 years ago

Closed 14 years ago

Last modified 14 years ago

#29335 closed submission (fixed)

Maude: new port version 2.6

Reported by: dcolish@… Owned by: ryandesign (Ryan Carsten Schmidt)
Priority: Normal Milestone:
Component: ports Version: 1.9.2
Keywords: Cc:
Port: Maude

Description

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.

Attachments (2)

Portfile (1.7 KB) - added by dcolish@… 14 years ago.
Portfile
patch-src-Mixfix-Makefile.in.diff (491 bytes) - added by dcolish@… 14 years ago.
Makefile.in patch

Download all attachments as: .zip

Change History (5)

Changed 14 years ago by dcolish@…

Attachment: Portfile added

Portfile

Changed 14 years ago by dcolish@…

Makefile.in patch

comment:1 Changed 14 years ago by ryandesign (Ryan Carsten Schmidt)

Owner: changed from macports-tickets@… to ryandesign@…
Port: Maude added
Status: newassigned

Thanks.

comment:2 Changed 14 years ago by ryandesign (Ryan Carsten Schmidt)

Resolution: fixed
Status: assignedclosed
Summary: new port: MaudeMaude: new port version 2.6

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

comment:3 Changed 14 years ago by dcolish@…

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

Note: See TracTickets for help on using tickets.