#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)
Change History (5)
Changed 14 years ago by dcolish@…
Changed 14 years ago by dcolish@…
Attachment: | patch-src-Mixfix-Makefile.in.diff added |
---|
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: | new → assigned |
Thanks.
comment:2 Changed 14 years ago by ryandesign (Ryan Carsten Schmidt)
Resolution: | → fixed |
---|---|
Status: | assigned → closed |
Summary: | new port: Maude → Maude: 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.
Portfile