ports/126438: Update port: lang/maude 2.2 -> 2.3

Mon Aug 11 00:50:03 UTC 2008

>Number:         126438
>Category:       ports
>Synopsis:       Update port: lang/maude 2.2 -> 2.3
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    freebsd-ports-bugs
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          maintainer-update
>Submitter-Id:   current-users
>Arrival-Date:   Mon Aug 11 00:50:03 UTC 2008
>Closed-Date:
>Last-Modified:
>Originator:     Rick van der Zwet
>Release:        FreeBSD 7.0-STABLE
>Organization:
>Environment:
rick at dellas:/usr/ports $ uname -a
FreeBSD dellas.wirelessleiden.nl 7.0-STABLE FreeBSD 7.0-STABLE #2: Thu Jun 26 10:19:30 CEST 2008     root at dellas.wirelessleiden.nl:/usr/obj/usr/src/sys/DELLAS  i386

>Description:
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.   
>How-To-Repeat:

>Fix:
Attached output of shar `find /usr/ports/lang/maude` > ~/lang-maude.txt

Patch attached with submission follows:

# This is a shell archive.  Save it in a file, remove anything before
# this line, and then unpack it by entering "sh file".  Note, it may
# create directories; files and directories will be owned by you and
# have default permissions.
#
# This archive contains:
#
#	/usr/ports/lang/maude
#	/usr/ports/lang/maude/Makefile
#	/usr/ports/lang/maude/distinfo
#	/usr/ports/lang/maude/pkg-descr
#	/usr/ports/lang/maude/pkg-plist
#	/usr/ports/lang/maude/files
#	/usr/ports/lang/maude/files/patch-src-Main-Makefile.am
#	/usr/ports/lang/maude/files/patch-maude-data-dir.diff
#
echo c - /usr/ports/lang/maude
mkdir -p /usr/ports/lang/maude > /dev/null 2>&1
echo x - /usr/ports/lang/maude/Makefile
sed 's/^X//' >/usr/ports/lang/maude/Makefile << '58e9934917f200d6006215c7e1d9659c'
X# New ports collection makefile for:	maude
X# Date created:				25 Mar 2005
X# Whom:				Rick van der Zwet <rick at wzoeterwoude.net>
X#
X# $FreeBSD: ports/lang/maude/Makefile,v 1.6 2007/12/21 21:22:12 pav Exp $
X#
X
XPORTNAME=	maude
XPORTVERSION=	2.3
XCATEGORIES=	lang
XMASTER_SITES=	http://maude.cs.uiuc.edu/versions/${PORTVERSION}/
XDISTNAME=	Maude-${PORTVERSION}
X
XMAINTAINER=	rick at wzoeterwoude.net
XCOMMENT=	A high-performance reflective language
X
XLIB_DEPENDS=	bdd:${PORTSDIR}/science/buddy \
X		tecla:${PORTSDIR}/devel/libtecla \
X		gmp:${PORTSDIR}/math/libgmp4
X
XUSE_BISON=	build
XUSE_AUTOTOOLS= aclocal:19 automake:19
XGNU_CONFIGURE=	yes
XCONFIGURE_ENV=	CPPFLAGS="-I${LOCALBASE}/include" LDFLAGS="-L${LOCALBASE}/lib"
XCONFIGURE_ARGS=	--datadir=${DATADIR}
X
Xpost-patch:
X	@${REINPLACE_CMD} -e 's|%%DATADIR%%|${DATADIR}|' \
X		${WRKSRC}/src/Mixfix/global.hh
X
X
X.include <bsd.port.pre.mk>
X
X.if ${OSVERSION} < 600000
XBROKEN=		does not compile on 4.X or 5.X
X.endif
X
X.include <bsd.port.post.mk>
58e9934917f200d6006215c7e1d9659c
echo x - /usr/ports/lang/maude/distinfo
sed 's/^X//' >/usr/ports/lang/maude/distinfo << '34d866c5e2c1dc18ccced29ec02c9b7e'
XMD5 (Maude-2.3.tar.gz) = 7625750cf0ebba34506daf1802fbe49a
XSHA256 (Maude-2.3.tar.gz) = 67e88d8440fafc67e1121139de496c70844279291e37ba9bee369d113a92fddb
XSIZE (Maude-2.3.tar.gz) = 1441239
34d866c5e2c1dc18ccced29ec02c9b7e
echo x - /usr/ports/lang/maude/pkg-descr
sed 's/^X//' >/usr/ports/lang/maude/pkg-descr << '08f2cb4eadac5d3b0fc7a65ad674b480'
XMaude is a high-performance reflective language and system supporting both
Xequational and rewriting logic specification and programming for a wide range
Xof applications. Maude has been influenced in important ways by the OBJ3
Xlanguage, which can be regarded as an equational logic sublanguage. Besides
Xsupporting equational specification and programming, Maude also supports
Xrewriting logic computation.
X
XRewriting logic is a logic of concurrent change that can naturally deal with
Xstate and with concurrent computations. It has good properties as a general
Xsemantic framework for giving executable semantics to a wide range of
Xlanguages and models of concurrency. In particular, it supports very well
Xconcurrent object-oriented computation. The same reasons making rewriting
Xlogic a good semantic framework make it also a good logical framework, that
Xis, a metalogic in which many other logics can be naturally represented and
Xexecuted.
X
XMaude supports in a systematic and efficient way logical reflection. This
Xmakes Maude remarkably extensible and powerful, supports an extensible algebra
Xof module composition operations, and allows many advanced metaprogramming and
Xmetalanguage applications. Indeed, some of the most interesting applications
Xof Maude are metalanguage applications, in which Maude is used to create
Xexecutable environments for different logics, theorem provers, languages, and
Xmodels of computation.
X
XWWW: http://maude.cs.uiuc.edu/
08f2cb4eadac5d3b0fc7a65ad674b480
echo x - /usr/ports/lang/maude/pkg-plist
sed 's/^X//' >/usr/ports/lang/maude/pkg-plist << 'a19440ed382788ae12da0c55657d7081'
Xbin/maude
X%%DATADIR%%/linear.maude
X%%DATADIR%%/machine-int.maude
X%%DATADIR%%/model-checker.maude
X%%DATADIR%%/prelude.maude
X%%DATADIR%%/socket.maude
X%%DATADIR%%/term-order.maude
X at dirrm %%DATADIR%%
a19440ed382788ae12da0c55657d7081
echo c - /usr/ports/lang/maude/files
mkdir -p /usr/ports/lang/maude/files > /dev/null 2>&1
echo x - /usr/ports/lang/maude/files/patch-src-Main-Makefile.am
sed 's/^X//' >/usr/ports/lang/maude/files/patch-src-Main-Makefile.am << '461f46f046cb93325a41c3f5b75e9d23'
X--- src/Main/Makefile.am.orig	2008-08-11 01:13:04.000000000 +0200
X+++ src/Main/Makefile.am	2008-08-11 01:14:38.000000000 +0200
X@@ -1,5 +1,14 @@
X bin_PROGRAMS = maude
X 
X+data_DATA = \
X+	prelude.maude \
X+	model-checker.maude \
X+	socket.maude \
X+	linear.maude \
X+	machine-int.maude \
X+	term-order.maude
X+
X+
X if BUILD_COMPILER
X   FULL_COMPILER_LIB = ../FullCompiler/libfullCompiler.a
X endif
461f46f046cb93325a41c3f5b75e9d23
echo x - /usr/ports/lang/maude/files/patch-maude-data-dir.diff
sed 's/^X//' >/usr/ports/lang/maude/files/patch-maude-data-dir.diff << 'aaad5bc271c66dcfc15cbec725287d51'
X--- src/Mixfix/global.hh.orig	2008-08-11 02:03:45.000000000 +0200
X+++ src/Mixfix/global.hh	2008-08-11 02:04:25.000000000 +0200
X@@ -36,6 +36,7 @@
X 
X #define PRELUDE_NAME	"prelude.maude"
X #define MAUDE_LIB	"MAUDE_LIB"
X+#define MAUDE_DATA_DIR	"%%DATADIR%%"
X 
X bool
X findPrelude(string& directory, string& fileName);
X--- src/Mixfix/global.cc.orig	2008-08-11 01:48:58.000000000 +0200
X+++ src/Mixfix/global.cc	2008-08-11 01:53:15.000000000 +0200
X@@ -81,6 +81,8 @@
X       directory = ".";
X       if (directoryManager.checkAccess(directory, fileName, R_OK, ext))
X 	return true;
X+      if (directoryManager.checkAccess(MAUDE_DATA_DIR, fileName, R_OK,  ext))
X+	return true;
X       if (directoryManager.searchPath(MAUDE_LIB, directory, fileName, R_OK, ext))
X 	return true;
X       if (!(executableDirectory.empty()) &&
X--- src/Main/main.cc.orig	2008-08-11 01:48:40.000000000 +0200
X+++ src/Main/main.cc	2008-08-11 01:55:01.000000000 +0200
X@@ -267,6 +267,11 @@
X       directory = executableDirectory;
X       return true;
X     }
X+  if (directoryManager.checkAccess(MAUDE_DATA_DIR, fileName, R_OK))
X+    {
X+      directory = MAUDE_DATA_DIR;
X+      return true;
X+    }
X   if (directoryManager.checkAccess(".", fileName, R_OK))
X     {
X       directory = ".";
aaad5bc271c66dcfc15cbec725287d51
exit

>Release-Note:
>Audit-Trail:
>Unformatted: