FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

I am looking for an LTO tape library. Do you have one to spare?
Port details
maude 2.6 lang on this many watch lists=0 search for ports that depend on this port
Deprecated DEPRECATED: Not staged. See http://lists.freebsd.org/pipermail/freebsd-ports-announce/2014-May/000080.html
Expiration Date EXPIRATION DATE: 2014-08-31
High-performance reflective language
Maintained by: joemann@beefree.free.de search for ports maintained by this maintainer
Port Added: 05 Apr 2006 22:34:56
License: not specified in port


Maude is a high-performance reflective language and system supporting both
equational and rewriting logic specification and programming 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.

Rewriting logic is a logic of concurrent change that can naturally deal with
state and with concurrent computations. It has good properties as a general
semantic framework for giving executable semantics to a wide range of
languages and models of concurrency. In particular, it supports very well
concurrent object-oriented computation. The same reasons making rewriting
logic a good semantic framework make it also a good logical framework, that
is, a metalogic in which many other logics can be naturally represented and
executed.

Maude supports in a systematic and efficient way logical reflection. This
makes Maude remarkably extensible and powerful, supports an extensible algebra
of module composition operations, and allows many advanced metaprogramming and
metalanguage applications. Indeed, some of the most interesting applications
of Maude are metalanguage applications, in which Maude is used to create
executable environments for different logics, theorem provers, languages, and
models of computation.

WWW: http://maude.cs.uiuc.edu/
SVNWeb : Main Web Site : Distfiles Availability : PortsMon

NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Required To Build:
  1. devel/bison
  2. devel/automake
  3. devel/autoconf
Required Libraries:
  1. science/buddy
  2. devel/libtecla
  3. math/gmp
  4. devel/libsigsegv
There are no ports dependent upon this port

To install the port: cd /usr/ports/lang/maude/ && make install clean
To add the package: pkg install lang/maude


Configuration Options
===> The following configuration options are available for maude-2.6:
     FULL_MAUDE=on: Install full-maude26b
===> Use 'make config' to modify these settings

Master Sites:
  1. http://distcache.FreeBSD.org/ports-distfiles/
  2. http://maude.cs.uiuc.edu/versions/2.6/

Number of commits found: 22

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
13 Jul 2014 23:36:40
Original commit files touched by this commit  2.6
Revision:361728
bapt search for other commits by this committer
Modernize LIB_DEPENDS

With hat:	portmgr
05 Jul 2014 19:27:04
Original commit files touched by this commit  2.6
Revision:360810
olgeni search for other commits by this committer
Remove indefinite articles and trailing periods from COMMENT, plus minor
COMMENT typos and surrounding whitespace fixes. A few Makefiles where not
included as they contain Latin-1 characters that break the Phabricator
workflow. Categories J-L.

CR:		D305
Approved by:	portmgr (swills)
20 Sep 2013 19:53:10
Original commit files touched by this commit  2.6
Revision:327741
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
lang)
16 Jul 2013 05:42:37
Original commit files touched by this commit  2.6
Revision:323088
ade search for other commits by this committer
- Update devel/automake to 1.14
- Update devel/gettext to 0.18.3
- Fix known-broken (from exp-runs) ports
- Clean up a lot of cruft in the devel/gettext port itself,
  based on work from tijl@

PR:		178883
Submitted by:	ade
Sponsored by:	Wadsworth 6X
12 May 2013 06:05:03
Original commit files touched by this commit  2.6
Revision:317932
bapt search for other commits by this committer
Convert to new options framework
03 May 2013 21:08:32
Original commit files touched by this commit  2.6
Revision:317257
bapt search for other commits by this committer
Really fix build on FreeBSD 9+
03 May 2013 21:08:14
Original commit files touched by this commit  2.6
Revision:317256
bapt search for other commits by this committer
Fix build on FreeBSD 9+
08 Mar 2013 11:32:12
Original commit files touched by this commit  2.6
Revision:313635
bapt search for other commits by this committer
Convert USE_BISON to USES= bison

It brings bison as a build dependency in case it is set the following way:
USES= bison or USES= bison:build

it brings bison as a run dependency in case it is set the following way:
USES= bison:run

it brings bison both as a run and build dependency in case it the set the
following way:
USES= bison:both

While here trim some headers
Convert some USE_GNOME= gnomehack to USES= pathfix
03 Dec 2011 20:41:57
Original commit files touched by this commit  2.6
scheidell search for other commits by this committer
- Update to 2.6.
- Make all files in ${DATADIR} loadable by filename without an explicit path,
and without setting MAUDE_LIB. Currently only
${DATADIR}/prelude.maude is loaded (during startup).
- Add option FULL_MAUDE (default: on) for user convenience. This
installs full-maude26b.maude into ${DATADIR}.
- previous maintainer turns port over to committer

PR:             ports/162955
Submitted by:   joemann@beefree.free.de
Reviewed by:    info@rickvanderzwet.nl
Approved by:    maintainer, gabor(mentor)
Feature safe:   yes
23 Sep 2011 22:26:39
Original commit files touched by this commit  2.3_2
amdmi3 search for other commits by this committer
- Add LDFLAGS to CONFIGURE_ENV and MAKE_ENV (as it was done with LDFLAGS)
- Fix all ports that add {CPP,LD}FLAGS to *_ENV to modify flags instead

PR:             157936
Submitted by:   myself
Exp-runs by:    pav
Approved by:    pav
03 Jul 2011 13:45:36
Original commit files touched by this commit  2.3_2
ohauer search for other commits by this committer
- remove MD5
05 Oct 2010 19:57:56
Original commit files touched by this commit  2.3_2
ade search for other commits by this committer
Round one migration of ports from automake{19,110} to automake111
19 Apr 2010 10:43:43
Original commit files touched by this commit  2.3_2
ale search for other commits by this committer
Switch to use newer GMP version.

PR:             ports/144487
Submitted by:   ale
Approved by:    portmgr (-exp run by erwin)
13 May 2009 09:46:02
Original commit files touched by this commit  2.3_1
ale search for other commits by this committer
Chase libgmp and bump PORTREVISION.
05 Jan 2009 20:36:33
Original commit files touched by this commit  2.3
pav search for other commits by this committer
- Remove conditional checks for FreeBSD 5.x and older
15 Aug 2008 00:34:02
Original commit files touched by this commit  2.3
edwin search for other commits by this committer
Update port: lang/maude 2.2 -> 2.3

        Maude 2.3 is compiles under 4.2 again, so port does not
        need to be marked as broken anymore.

        Quite a few hacks to get it installing properly:
        * Coder forgot to include the *.maude files into the
        Makefile.am while porting files into the MixFix directory
        to Main directory. Included again, which explains the current
        need of aclocal and automake to regenerate the Makefiles
        * Project requires MAUDE_LIB env to be set to the location
        of %%DATADIR%% which is quite cumbersome, introduced
        MAUDE_DATA_DIR into the code to get rid of the non handy
        environment variable.

PR:             ports/126438
Submitted by:   Rick van der Zwet <rick@wzoeterwoude.net>
21 Dec 2007 21:22:13
Original commit files touched by this commit  2.2_1
pav search for other commits by this committer
- Mark BROKEN with gcc42 across the board
17 Oct 2007 10:13:01
Original commit files touched by this commit  2.2_1
ade search for other commits by this committer
Migration from bison 1.x to 2.x

PR:             117086
Tested by:      -exp runs
02 Oct 2007 01:01:57
Original commit files touched by this commit  2.2
linimon search for other commits by this committer
Mark as broken on gcc4.2 on 64-bit archs.  Build status on i386 unknown.
21 Feb 2007 18:50:49
Original commit files touched by this commit  2.2
rafan search for other commits by this committer
- Update master site

PR:             ports/109395
Spotted by:     Bill distfiles Fenner
Submitted by:   Rick van der Zwet <rick at wzoeterwoude.net> (maintainer)
16 Jul 2006 20:25:01
Original commit files touched by this commit  2.2
linimon search for other commits by this committer
Mark broken on 4.X/5.X: fails to compile.
05 Apr 2006 22:32:56
Original commit files touched by this commit  2.2
jylefort search for other commits by this committer
Add maude.

Maude is a high-performance reflective language and system supporting both
equational and rewriting logic specification and programming 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.

Rewriting logic is a logic of concurrent change that can naturally deal with
state and with concurrent computations. It has good properties as a general
semantic framework for giving executable semantics to a wide range of
languages and models of concurrency. In particular, it supports very well
concurrent object-oriented computation. The same reasons making rewriting
logic a good semantic framework make it also a good logical framework, that
(Only the first 15 lines of the commit message are shown above View all of this commit message)

Number of commits found: 22

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
firefoxJul 23
firefox-develJul 23
firefox-esrJul 23
firefox10Jul 23
firefox15Jul 23
firefox3Jul 23
firefox3-develJul 23
firefox35Jul 23
firefox36Jul 23
linux-firefoxJul 23
linux-thunderbirdJul 23
nssJul 23
thunderbirdJul 23
thunderbird-esrJul 23
thunderbird3Jul 23

9 vulnerabilities affecting 26 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds


Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 24425
Broken 194
Deprecated 794
Ignore 529
Forbidden 16
Restricted 263
No CDROM 102
Vulnerable 27
Expired 21
Set to expire 781
Interactive 13
new 24 hours 2
new 48 hours4
new 7 days18
new fortnight49
new month104

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2014 Dan Langille. All rights reserved.