head	1.4;
access;
symbols
	RELEASE_8_3_0:1.4
	RELEASE_9_0_0:1.4
	RELEASE_7_4_0:1.2
	RELEASE_8_2_0:1.2
	RELEASE_6_EOL:1.2
	RELEASE_8_1_0:1.2
	RELEASE_7_3_0:1.2
	RELEASE_8_0_0:1.2
	RELEASE_7_2_0:1.2
	RELEASE_7_1_0:1.2
	RELEASE_6_4_0:1.2
	RELEASE_5_EOL:1.1
	RELEASE_7_0_0:1.1
	RELEASE_6_3_0:1.1
	PRE_XORG_7:1.1
	RELEASE_4_EOL:1.1
	RELEASE_6_2_0:1.1;
locks; strict;
comment	@# @;


1.4
date	2011.12.03.20.41.56;	author scheidell;	state Exp;
branches;
next	1.3;

1.3
date	2011.07.03.13.45.17;	author ohauer;	state Exp;
branches;
next	1.2;

1.2
date	2008.08.15.00.34.02;	author edwin;	state Exp;
branches;
next	1.1;

1.1
date	2006.04.05.22.32.56;	author jylefort;	state Exp;
branches;
next	;


desc
@@


1.4
log
@- 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
@
text
@SHA256 (Maude-2.6.tar.gz) = a5ba79bf3d30565c874e80b3531b51a7e835b600e86cac82508a6eb9e15f4aa0
SIZE (Maude-2.6.tar.gz) = 1600026
SHA256 (full-maude26b.maude.zip) = 57ebfc41056b7afc2be48983f6a1311e817d23eeaaed71023471bc4edaf6b128
SIZE (full-maude26b.maude.zip) = 154881
@


1.3
log
@- remove MD5
@
text
@d1 4
a4 2
SHA256 (Maude-2.3.tar.gz) = 67e88d8440fafc67e1121139de496c70844279291e37ba9bee369d113a92fddb
SIZE (Maude-2.3.tar.gz) = 1441239
@


1.2
log
@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>
@
text
@a0 1
MD5 (Maude-2.3.tar.gz) = 7625750cf0ebba34506daf1802fbe49a
@


1.1
log
@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
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/

PR:		ports/94986
Submitted by:	Rick van der Zwet <rick@@traffie.wzoeterwoude.net>
@
text
@d1 3
a3 3
MD5 (Maude-2.2.tar.gz) = c3b3cadec1ab792a64f0d441e56de15a
SHA256 (Maude-2.2.tar.gz) = 7b85941cb8441eeca23ed3ea291ea6ac9571ce09a9a28a2193e8414b1ca13118
SIZE (Maude-2.2.tar.gz) = 8243200
@

