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 High-performance reflective language
2.6_1 lang on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port

There is no maintainer for this port.
Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org search for ports maintained by this maintainer
Port Added: 05 Apr 2006 22:34:56
License: GPLv2
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 : Homepage : Distfiles Availability : PortsMon

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

Build dependencies:
  1. /usr/local/bin/flex : textproc/flex
  2. bison : devel/bison
  3. /usr/local/bin/automake-1.14 : devel/automake
  4. /usr/local/bin/autoconf-2.69 : devel/autoconf
Library dependencies:
  1. libbdd.so : science/buddy
  2. libtecla.so : devel/libtecla
  3. libgmp.so : math/gmp
  4. libsigsegv.so : 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_1:
     DOCS=on: Build and/or install documentation
     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: 25

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
27 Oct 2014 15:23:31
Original commit files touched by this commit  2.6_1
Revision:371587
bapt search for other commits by this committer
Cleanup plist
03 Sep 2014 19:58:37
Original commit files touched by this commit  2.6_1
Revision:367223
riggs search for other commits by this committer
- Stagify
- Fix build on clang
- Add MAKE_JOBS_UNSAFE
- Add LICENSE
- Add DOCS option
- Bump PORTREVISION
- Pet portlint

PR:		191049
Submitted by:	k@stereochro.me
Reviewed by:	cpm@fbsd.es, joemann@beefree.free.de, marino, riggs
Final patch by:	cpm@fbsd.es, riggs
MFH:		2014Q3
25 Aug 2014 10:01:52
Original commit files touched by this commit  2.6
Revision:366050
bapt search for other commits by this committer
Reset maintainership for non staged ports

With hat:	portmgr
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: 25

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
muttDec 23
muttDec 23
ntpDec 20
ntp-develDec 20
gitDec 19
otrsDec 16
mod_dav_svnDec 15
subversionDec 15
subversion16Dec 15
subversion17Dec 15
nvidia-driverDec 14
nvidia-driver-173Dec 14
nvidia-driver-304Dec 14
asterisk11Dec 11
bind99Dec 11

10 vulnerabilities affecting 28 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 24433
Broken 149
Deprecated 74
Ignore 400
Forbidden 2
Restricted 207
No CDROM 93
Vulnerable 20
Expired 0
Set to expire 69
Interactive 0
new 24 hours 1
new 48 hours3
new 7 days17
new fortnight42
new month100

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