diff options
author | edwin <edwin@FreeBSD.org> | 2008-08-15 08:34:02 +0800 |
---|---|---|
committer | edwin <edwin@FreeBSD.org> | 2008-08-15 08:34:02 +0800 |
commit | ac01194dd301286baa3be874ae82834a262aee68 (patch) | |
tree | b4e5c0bd08c7e80b6c8f6113501e65f9d0f5ae0c /lang/maude/distinfo | |
parent | e3bf62f73e747a6edd63318c221471c0a7935953 (diff) | |
download | freebsd-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/maude/distinfo')
-rw-r--r-- | lang/maude/distinfo | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lang/maude/distinfo b/lang/maude/distinfo index 38ef0a556087..20bac4e8efc7 100644 --- a/lang/maude/distinfo +++ b/lang/maude/distinfo @@ -1,3 +1,3 @@ -MD5 (Maude-2.2.tar.gz) = c3b3cadec1ab792a64f0d441e56de15a -SHA256 (Maude-2.2.tar.gz) = 7b85941cb8441eeca23ed3ea291ea6ac9571ce09a9a28a2193e8414b1ca13118 -SIZE (Maude-2.2.tar.gz) = 8243200 +MD5 (Maude-2.3.tar.gz) = 7625750cf0ebba34506daf1802fbe49a +SHA256 (Maude-2.3.tar.gz) = 67e88d8440fafc67e1121139de496c70844279291e37ba9bee369d113a92fddb +SIZE (Maude-2.3.tar.gz) = 1441239 |