1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-27 05:10:36 +00:00
freebsd-ports/lang/mozart/Makefile
Alex Dupre bf330a57d4 Switch to use newer GMP version.
PR:		ports/144487
Submitted by:	ale
Approved by:	portmgr (-exp run by erwin)
2010-04-19 10:43:42 +00:00

103 lines
3.0 KiB
Makefile

# New ports collection makefile for: mozart
# Date created: 23. June 2000
# Whom: Mathias Picker <mathiasp@virtual-earth.de>
#
# $FreeBSD$
#
PORTNAME= mozart
PORTVERSION= 1.3.1.20040616
PORTREVISION= 9
CATEGORIES= lang tk parallel
MASTER_SITES= http://www.mozart-oz.org/download/mozart-ftp/store/1.3.1-2004-06-16/
DISTFILES= ${DISTNAME}-src.tar.gz
.if !defined(NOPORTDOCS)
DISTFILES+= ${MOZART_DOCS}
.endif
MAINTAINER= mathiasp@virtual-earth.de
COMMENT= A distributed language with constraint-based inference
BUILD_DEPENDS= emacs:${PORTSDIR}/editors/emacs
LIB_DEPENDS= gdbm.3:${PORTSDIR}/databases/gdbm \
gmp.10:${PORTSDIR}/math/gmp \
tk84.1:${PORTSDIR}/x11-toolkits/tk84
MOZART_DOCS= mozart-${PORTVERSION}-doc.tar.gz
SCRIPTS_ENV= LN=${LN} PERL=${PERL}
ALL_TARGET=
MAKE_ARGS= PREFIX=${PREFIX}/lib/oz
USE_BISON= build
USE_GMAKE= yes
HAS_CONFIGURE= yes
USE_XORG= x11
USE_AUTOTOOLS= autoconf:213
# magic wand: set INSTALL to some absurd value, or else
# mozart's configure will not find the right install
# when configuring as root.
CONFIGURE_ENV= INSTALL=${CHMOD}
CONFIGURE_ARGS= --prefix=${PREFIX}/lib/oz \
--disable-doc \
--with-inc-dir=${LOCALBASE}/include/tcl8.4,${LOCALBASE}/include/tk8.4,${LOCALBASE}/include \
--with-lib-dir=${LOCALBASE}/lib \
--with-tcl-lib=${LOCALBASE}/lib \
--with-tk-lib=${LOCALBASE}/lib \
--with-tkinclude=${LOCALBASE}/include/tk8.4
.include <bsd.port.pre.mk>
.if ${OSVERSION} >= 700042
BROKEN= Does not compile with GCC 4.2
.endif
.if ${ARCH} != "i386"
BROKEN= Does not compile on !i386
.endif
pre-extract:
@${ECHO}
@${ECHO} -----------------------------------------------------
@${ECHO}
@${ECHO} If you have problems building mozart,
@${ECHO} deinstall any old version of mozart
@${ECHO} and unset OZHOME
@${ECHO}
@${ECHO} ----------------------------------------------------
@${ECHO}
pre-configure:
cd ${WRKSRC}/platform/emulator \
&& ${AUTOCONF} ${AUTOCONF_ARGS} -l ${WRKSRC}
cd ${WRKSRC}/platform/tools/gump/ozflex \
&& ${AUTOCONF} ${AUTOCONF_ARGS} -l ${WRKSRC}
post-install:
.if !defined(NOPORTDOCS)
@${TAR} --unlink -xzpf ${DISTDIR}/${MOZART_DOCS} \
-C ${PREFIX}/lib/oz
@${RM} -rf ${PREFIX}/lib/oz/doc
@${MV} ${PREFIX}/lib/oz/mozart/doc ${PREFIX}/lib/oz
@${CHOWN} -R ${SHAREOWN}:${SHAREGRP} ${PREFIX}/lib/oz/doc
@${FIND} ${PREFIX}/lib/oz -type d -print0 \
| ${XARGS} -0 ${CHMOD} 755
@${FIND} ${PREFIX}/lib/oz/doc -type f -print0 \
| ${XARGS} -0 ${CHMOD} ${SHAREMODE}
@${RM} -rf ${PREFIX}/lib/oz/mozart
.endif
@cd ${PREFIX} ; ${FIND} lib/oz -type f -o -type l | ${SORT} \
> ${WRKDIR}/PLIST.lib-oz
@cd ${PREFIX} ; ${FIND} lib/oz -type d | ${SORT} -r \
| ${SED} -e 's/^/@dirrm /g' \
>> ${WRKDIR}/PLIST.lib-oz
@${ECHO_CMD} "r ${TMPPLIST}" > ${WRKDIR}/ex.script
@${ECHO_CMD} "/Insert PLIST.lib-oz" >> ${WRKDIR}/ex.script
@${ECHO_CMD} "d" >> ${WRKDIR}/ex.script
@${ECHO_CMD} "r ${WRKDIR}/PLIST.lib-oz" >> ${WRKDIR}/ex.script
@${ECHO_CMD} "x!" >> ${WRKDIR}/ex.script
@${CP} -p ${TMPPLIST} ${TMPPLIST}.pre-lib-oz
@cd ${WRKDIR} ; ex < ex.script
@${CAT} ${PKGMESSAGE}
.include <bsd.port.post.mk>