05:30 lwhsu 

- Update to 2.7.1
- Add CVC4 support option and enabled by default
- Unbreak on aarch64, sbrk is not used anymore
- Remove build date to make the build reproducible
- Pass maintainership to submitter
- Pet `portlint -abct`

PR:		231443
Submitted by:	Greg V <greg@unrelenting.technology>

 

22:16 rene 

lang/maude: fix fetching and unexpire

The MASTER_SITES was changed and so was the name of one distfile, the
contents remained the same.

PR:		210018
Submitted by:	Keith Gaughan <k@stereochro.me>
MFH:		2016Q4

 

20:41 scheidell 

- 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

13:45 ohauer 

- remove MD5

00:34 edwin 

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>

22:32 jylefort 

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 )