head	1.3;
access;
symbols
	RELEASE_8_3_0:1.3
	RELEASE_9_0_0:1.3
	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.3
date	2011.12.03.20.41.56;	author scheidell;	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.3
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
@bin/maude
%%FULL_MAUDE%%%%DATADIR%%/full-maude%%FULL_MAUDE_VER%%.maude
%%DATADIR%%/linear.maude
%%DATADIR%%/machine-int.maude
%%DATADIR%%/metaInterpreter.maude
%%DATADIR%%/model-checker.maude
%%DATADIR%%/prelude.maude
%%DATADIR%%/socket.maude
%%DATADIR%%/term-order.maude
@@dirrm %%DATADIR%%
@


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
@d2 1
d5 1
@


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
@d3 1
d7 1
@

