mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-26 00:55:14 +00:00
67fac3c3e7
- 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
62 lines
1.6 KiB
Makefile
62 lines
1.6 KiB
Makefile
# New ports collection makefile for: maude
|
|
# Date created: 25 Mar 2005
|
|
# Whom: Rick van der Zwet <rick@wzoeterwoude.net>
|
|
#
|
|
# $FreeBSD$
|
|
#
|
|
|
|
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
|
|
|
|
USE_BISON= build
|
|
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>
|