aboutsummaryrefslogtreecommitdiffstats
path: root/lang/polyml
diff options
context:
space:
mode:
authoredwin <edwin@FreeBSD.org>2008-08-15 08:34:02 +0800
committeredwin <edwin@FreeBSD.org>2008-08-15 08:34:02 +0800
commitac01194dd301286baa3be874ae82834a262aee68 (patch)
treeb4e5c0bd08c7e80b6c8f6113501e65f9d0f5ae0c /lang/polyml
parente3bf62f73e747a6edd63318c221471c0a7935953 (diff)
downloadfreebsd-ports-gnome-ac01194dd301286baa3be874ae82834a262aee68.tar.gz
freebsd-ports-gnome-ac01194dd301286baa3be874ae82834a262aee68.tar.zst
freebsd-ports-gnome-ac01194dd301286baa3be874ae82834a262aee68.zip
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>
Diffstat (limited to 'lang/polyml')
0 files changed, 0 insertions, 0 deletions