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>
e26e1fd281