[78298] trunk/dports/lang

ryandesign at macports.org ryandesign at macports.org
Sun May 1 15:56:42 PDT 2011


Revision: 78298
          http://trac.macports.org/changeset/78298
Author:   ryandesign at macports.org
Date:     2011-05-01 15:56:41 -0700 (Sun, 01 May 2011)
Log Message:
-----------
Maude: new port, version 2.6; see #29335

Added Paths:
-----------
    trunk/dports/lang/Maude/
    trunk/dports/lang/Maude/Portfile
    trunk/dports/lang/Maude/files/
    trunk/dports/lang/Maude/files/patch-src-Mixfix-Makefile.in.diff

Added: trunk/dports/lang/Maude/Portfile
===================================================================
--- trunk/dports/lang/Maude/Portfile	                        (rev 0)
+++ trunk/dports/lang/Maude/Portfile	2011-05-01 22:56:41 UTC (rev 78298)
@@ -0,0 +1,47 @@
+# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4
+# $Id$
+
+PortSystem          1.0
+
+name                Maude
+version             2.6
+categories          lang
+platforms           darwin
+maintainers         gmail.com:dcolish
+license             GPL-2
+
+description         high-performance reflective language and system \
+                    supporting both equational and rewriting logic \
+                    specification and programming
+
+long_description    ${name} is a ${description} for a wide range of \
+                    applications. Maude has been influenced in important \
+                    ways by the OBJ3 language, which can be regarded as an \
+                    equational logic sublanguage. Besides supporting \
+                    equational specification and programming, Maude also \
+                    supports rewriting logic computation.
+
+homepage            http://maude.cs.uiuc.edu/
+master_sites        ${homepage}download/current/
+
+checksums           sha1    3f1ec2f39a22942bb096102d1d8d6eed4510483e \
+                    rmd160  a9387701016e04ba4a256c3db8c9f10195147183
+
+depends_build       port:bison \
+                    port:flex
+
+depends_lib         port:gmp \
+                    port:libsigsegv \
+                    port:buddy
+
+patchfiles          patch-src-Mixfix-Makefile.in.diff
+
+configure.args      --without-tecla
+
+notes "
+Set MAUDE_LIB=${prefix}/share in order to load prelude correctly
+"
+
+livecheck.type      regex
+livecheck.url       [lindex ${master_sites} 0]
+livecheck.regex     ${name}-(\[0-9.\]+)\\.


Property changes on: trunk/dports/lang/Maude/Portfile
___________________________________________________________________
Added: svn:keywords
   + Id
Added: svn:eol-style
   + native

Added: trunk/dports/lang/Maude/files/patch-src-Mixfix-Makefile.in.diff
===================================================================
--- trunk/dports/lang/Maude/files/patch-src-Mixfix-Makefile.in.diff	                        (rev 0)
+++ trunk/dports/lang/Maude/files/patch-src-Mixfix-Makefile.in.diff	2011-05-01 22:56:41 UTC (rev 78298)
@@ -0,0 +1,11 @@
+--- /opt/local/var/macports/build/_Users_dcolish_workspace_macports-trunk_dports_lang_maude/work/Maude-2.6/src/Mixfix/Makefile.in	2011-04-27 22:08:31.000000000 -0700
++++ src/Mixfix/Makefile.in	2011-04-27 22:09:07.000000000 -0700
+@@ -1166,7 +1166,7 @@
+ 
+ surface.cc surface.h: surface.yy
+ 	$(BISON) -dv surface.yy -o surface.c
+-	mv surface.c surface.cc
++	cp surface.c surface.cc
+ 
+ #	According to the manual, automake is supposed to grok
+ #	.ll files and do the right thing... but it doesn't
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20110501/410d3341/attachment.html>


More information about the macports-changes mailing list