head	1.15;
access;
symbols
	RELEASE_8_3_0:1.13
	RELEASE_9_0_0:1.13
	RELEASE_7_4_0:1.11
	RELEASE_8_2_0:1.11
	RELEASE_6_EOL:1.11
	RELEASE_8_1_0:1.10
	RELEASE_7_3_0:1.9
	RELEASE_8_0_0:1.9
	RELEASE_7_2_0:1.8
	RELEASE_7_1_0:1.7
	RELEASE_6_4_0:1.7
	RELEASE_5_EOL:1.6
	RELEASE_7_0_0:1.5
	RELEASE_6_3_0:1.5
	PRE_XORG_7:1.3
	RELEASE_4_EOL:1.2
	RELEASE_6_2_0:1.2;
locks; strict;
comment	@# @;


1.15
date	2013.03.08.21.56.27;	author svnexp;	state Exp;
branches;
next	1.14;

1.14
date	2012.11.17.05.58.52;	author svnexp;	state Exp;
branches;
next	1.13;

1.13
date	2011.12.03.20.41.56;	author scheidell;	state Exp;
branches;
next	1.12;

1.12
date	2011.09.23.22.23.44;	author amdmi3;	state Exp;
branches;
next	1.11;

1.11
date	2010.10.05.19.57.41;	author ade;	state Exp;
branches;
next	1.10;

1.10
date	2010.04.19.10.43.28;	author ale;	state Exp;
branches;
next	1.9;

1.9
date	2009.05.13.09.46.01;	author ale;	state Exp;
branches;
next	1.8;

1.8
date	2009.01.05.20.36.31;	author pav;	state Exp;
branches;
next	1.7;

1.7
date	2008.08.15.00.34.02;	author edwin;	state Exp;
branches;
next	1.6;

1.6
date	2007.12.21.21.22.12;	author pav;	state Exp;
branches;
next	1.5;

1.5
date	2007.10.17.10.12.44;	author ade;	state Exp;
branches;
next	1.4;

1.4
date	2007.10.02.01.01.57;	author linimon;	state Exp;
branches;
next	1.3;

1.3
date	2007.02.21.18.50.49;	author rafan;	state Exp;
branches;
next	1.2;

1.2
date	2006.07.16.20.25.01;	author linimon;	state Exp;
branches;
next	1.1;

1.1
date	2006.04.05.22.32.56;	author jylefort;	state Exp;
branches;
next	;


desc
@@


1.15
log
@## SVN ## Exported commit - http://svnweb.freebsd.org/changeset/base/313635
## SVN ## CVS IS DEPRECATED: http://wiki.freebsd.org/CvsIsDeprecated
@
text
@# Created by: Rick van der Zwet <rick@@wzoeterwoude.net>
# $FreeBSD: head/lang/maude/Makefile 313635 2013-03-08 11:32:11Z bapt $

PORTNAME=	maude
PORTVERSION=	2.6
CATEGORIES=	lang
MASTER_SITES=	http://maude.cs.uiuc.edu/versions/${PORTVERSION}/
DISTNAME=	Maude-${PORTVERSION}

MAINTAINER=	joemann@@beefree.free.de
COMMENT=	A high-performance reflective language

LIB_DEPENDS=	bdd:${PORTSDIR}/science/buddy \
		tecla:${PORTSDIR}/devel/libtecla \
		gmp:${PORTSDIR}/math/gmp \
		sigsegv:${PORTSDIR}/devel/libsigsegv

USES=		bison
USE_AUTOTOOLS=	aclocal autoheader automake
GNU_CONFIGURE=	yes
CPPFLAGS+=	-I${LOCALBASE}/include
LDFLAGS+=	-L${LOCALBASE}/lib
CONFIGURE_ARGS=	--datadir=${DATADIR}

FULL_MAUDE_VER=	26b
OPTIONS=	FULL_MAUDE "Install full-maude${FULL_MAUDE_VER}" On

.include <bsd.port.options.mk>

.if defined(WITH_FULL_MAUDE)
MASTER_SITES+=	http://maude.lcc.uma.es/FullMaude/FM${FULL_MAUDE_VER}/:fm
FULL_MAUDE=	full-maude${FULL_MAUDE_VER}.maude
FULL_MAUDE_DIST=	${FULL_MAUDE}.zip
DISTFILES=	${DISTNAME}${EXTRACT_SUFX} ${FULL_MAUDE_DIST}:fm
EXTRACT_ONLY=	${DISTNAME}${EXTRACT_SUFX}
EXTRACT_DEPENDS+=	unzip:${PORTSDIR}/archivers/unzip
PLIST_SUB+=	FULL_MAUDE=""
PLIST_SUB+=	FULL_MAUDE_VER="${FULL_MAUDE_VER}"
.else
PLIST_SUB+=	FULL_MAUDE="@@comment "
.endif

.if defined(WITH_FULL_MAUDE)
post-extract:
	${UNZIP_CMD} ${DISTDIR}/${FULL_MAUDE_DIST} ${FULL_MAUDE} -d ${WRKDIR}
.endif

post-patch:
	@@${REINPLACE_CMD} -e 's|%%DATADIR%%|${DATADIR}|' \
		${WRKSRC}/src/Mixfix/global.hh

.if defined(WITH_FULL_MAUDE)
post-install:
	${INSTALL_DATA} ${WRKDIR}/${FULL_MAUDE} ${DATADIR}
.endif

.include <bsd.port.mk>
@


1.14
log
@Switch exporter over
@
text
@d1 2
a2 6
# New ports collection makefile for:	maude
# Date created:				25 Mar 2005
# Whom:				Rick van der Zwet <rick@@wzoeterwoude.net>
#
# $FreeBSD: head/lang/maude/Makefile 300896 2012-07-14 13:54:48Z beat $
#
d18 1
a18 1
USE_BISON=	build
@


1.13
log
@- Update to 2.6.
- Make all files in ${DATADIR} loadable by filename without an explicit path,
and without setting MAUDE_LIB. Currently only
${DATADIR}/prelude.maude is loaded (during startup).
- Add option FULL_MAUDE (default: on) for user convenience. This
installs full-maude26b.maude into ${DATADIR}.
- previous maintainer turns port over to committer

PR:		ports/162955
Submitted by:	joemann@@beefree.free.de
Reviewed by:	info@@rickvanderzwet.nl
Approved by:	maintainer, gabor(mentor)
Feature safe:	yes
@
text
@d5 1
a5 1
# $FreeBSD$
@


1.12
log
@- Add LDFLAGS to CONFIGURE_ENV and MAKE_ENV (as it was done with LDFLAGS)
- Fix all ports that add {CPP,LD}FLAGS to *_ENV to modify flags instead

PR:		157936
Submitted by:	myself
Exp-runs by:	pav
Approved by:	pav
@
text
@d9 1
a9 2
PORTVERSION=	2.3
PORTREVISION=	2
d14 1
a14 1
MAINTAINER=	rick@@wzoeterwoude.net
d19 2
a20 1
		gmp:${PORTSDIR}/math/gmp
d23 1
d29 23
d56 4
@


1.11
log
@Round one migration of ports from automake{19,110} to automake111
@
text
@d24 2
a25 1
CONFIGURE_ENV=	CPPFLAGS="-I${LOCALBASE}/include" LDFLAGS="-L${LOCALBASE}/lib"
@


1.10
log
@Switch to use newer GMP version.

PR:		ports/144487
Submitted by:	ale
Approved by:	portmgr (-exp run by erwin)
@
text
@a22 1
USE_AUTOTOOLS= aclocal:19 automake:19
@


1.9
log
@Chase libgmp and bump PORTREVISION.
@
text
@d10 1
a10 1
PORTREVISION=	1
d20 1
a20 1
		gmp:${PORTSDIR}/math/libgmp4
@


1.8
log
@- Remove conditional checks for FreeBSD 5.x and older
@
text
@d10 1
@


1.7
log
@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>
@
text
@d32 1
a32 7
.include <bsd.port.pre.mk>

.if ${OSVERSION} < 600000
BROKEN=		does not compile on 4.X or 5.X
.endif

.include <bsd.port.post.mk>
@


1.6
log
@- Mark BROKEN with gcc42 across the board
@
text
@d9 1
a9 2
PORTVERSION=	2.2
PORTREVISION=	1
d22 1
d29 2
a30 1
		${WRKSRC}/src/Mixfix/main.cc
a35 2
.elif ${OSVERSION} >= 700042
BROKEN=		Does not compile with GCC 4.2
@


1.5
log
@Migration from bison 1.x to 2.x

PR:		117086
Tested by:	-exp runs
@
text
@a35 1
.if ${ARCH} == "amd64" || ${ARCH} == "sparc64"
a37 1
.endif
@


1.4
log
@Mark as broken on gcc4.2 on 64-bit archs.  Build status on i386 unknown.
@
text
@d10 1
a17 1
BUILD_DEPENDS=	bison:${PORTSDIR}/devel/bison
d22 1
@


1.3
log
@- Update master site

PR:		ports/109395
Spotted by:	Bill distfiles Fenner
Submitted by:	Rick van der Zwet <rick at wzoeterwoude.net> (maintainer)
@
text
@d34 4
@


1.2
log
@Mark broken on 4.X/5.X: fails to compile.
@
text
@d11 1
a11 1
MASTER_SITES=	http://maude.cs.uiuc.edu/download/current/
@


1.1
log
@Add maude.

Maude is a high-performance reflective language and system supporting both
equational and rewriting logic specification and programming for a wide range
of applications. Maude has been influenced in important ways by the OBJ3
language, which can be regarded as an equational logic sublanguage. Besides
supporting equational specification and programming, Maude also supports
rewriting logic computation.

Rewriting logic is a logic of concurrent change that can naturally deal with
state and with concurrent computations. It has good properties as a general
semantic framework for giving executable semantics to a wide range of
languages and models of concurrency. In particular, it supports very well
concurrent object-oriented computation. The same reasons making rewriting
logic a good semantic framework make it also a good logical framework, that
is, a metalogic in which many other logics can be naturally represented and
executed.

Maude supports in a systematic and efficient way logical reflection. This
makes Maude remarkably extensible and powerful, supports an extensible algebra
of module composition operations, and allows many advanced metaprogramming and
metalanguage applications. Indeed, some of the most interesting applications
of Maude are metalanguage applications, in which Maude is used to create
executable environments for different logics, theorem provers, languages, and
models of computation.

WWW: http://maude.cs.uiuc.edu/

PR:		ports/94986
Submitted by:	Rick van der Zwet <rick@@traffie.wzoeterwoude.net>
@
text
@d30 7
a36 1
.include <bsd.port.mk>
@

