e26e1fd281
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>
9 lines
196 B
Plaintext
9 lines
196 B
Plaintext
bin/maude
|
|
%%DATADIR%%/linear.maude
|
|
%%DATADIR%%/machine-int.maude
|
|
%%DATADIR%%/model-checker.maude
|
|
%%DATADIR%%/prelude.maude
|
|
%%DATADIR%%/socket.maude
|
|
%%DATADIR%%/term-order.maude
|
|
@dirrm %%DATADIR%%
|