diff options
author | Oliver Lehmann <oliver@FreeBSD.org> | 2003-10-05 00:12:58 +0000 |
---|---|---|
committer | Oliver Lehmann <oliver@FreeBSD.org> | 2003-10-05 00:12:58 +0000 |
commit | 024c5436d96a5bdb5465550d739e0c01a8643f75 (patch) | |
tree | f023284be401b0b12012d9661e97bbb3f94a1810 | |
parent | 4d6092c4a2ca8733495c2172eed642681fb0edbb (diff) | |
download | ports-024c5436d96a5bdb5465550d739e0c01a8643f75.tar.gz ports-024c5436d96a5bdb5465550d739e0c01a8643f75.zip |
update moazart to 1.2.5.20030212
PR: 54792
Submitted By: Andy Hauser <andy-freebsd@splashground.de>
Approved By: maintainer timeout (41 days)
Notes
Notes:
svn path=/head/; revision=90271
-rw-r--r-- | lang/mozart/Makefile | 15 | ||||
-rw-r--r-- | lang/mozart/distinfo | 5 | ||||
-rw-r--r-- | lang/mozart/files/patch-af | 13 | ||||
-rw-r--r-- | lang/mozart/pkg-plist | 2 |
4 files changed, 24 insertions, 11 deletions
diff --git a/lang/mozart/Makefile b/lang/mozart/Makefile index 698486535805..daac92b467fb 100644 --- a/lang/mozart/Makefile +++ b/lang/mozart/Makefile @@ -6,9 +6,10 @@ # PORTNAME= mozart -PORTVERSION= 1.2.4.20020829 +PORTVERSION= 1.2.5.20030212 CATEGORIES= lang tk83 parallel -MASTER_SITES= ftp://ftp.mozart-oz.org/pub/mozart/${PORTVERSION}/tar/ \ +MASTER_SITES= http://www.mozart-oz.org/download/mozart-ftp/store/1.2.5-2003-02-12/ \ + ftp://ftp.mozart-oz.org/pub/mozart/${PORTVERSION}/tar/ \ ftp://ftp.sics.se/pub/mozart/${PORTVERSION}/tar/ DISTFILES= ${DISTNAME}-src.tar.gz ${MOZART_DOCS} .if !defined(NOPORTDOCS) @@ -18,10 +19,10 @@ DISTFILES+= ${MOZART_DOCS} MAINTAINER= mathiasp@virtual-earth.de COMMENT= A distributed language with constraint-based inference -BROKEN= "Does not compile" - -BUILD_DEPENDS= emacs:${PORTSDIR}/editors/emacs21 +BUILD_DEPENDS= emacs:${PORTSDIR}/editors/emacs21 \ + ${LOCALBASE}/include/gmp.h:${PORTSDIR}/math/libgmp4 LIB_DEPENDS= gdbm.3:${PORTSDIR}/databases/gdbm \ + gmp.6:${PORTSDIR}/math/libgmp4 \ tk83.1:${PORTSDIR}/x11-toolkits/tk83 MOZART_DOCS= mozart-${PORTVERSION}-doc.tar.gz @@ -39,7 +40,7 @@ WANT_AUTOCONF_VER= 213 # when configuring as root. CONFIGURE_ENV= INSTALL=${CHMOD} CONFIGURE_ARGS= --prefix=${PREFIX}/lib/oz --disable-doc \ - --with-inc-dir=${LOCALBASE}/include/tcl8.3,${LOCALBASE}/include/tk8.3 \ + --with-inc-dir=${LOCALBASE}/include/tcl8.3,${LOCALBASE}/include/tk8.3,${LOCALBASE}/include \ --with-lib-dir=${LOCALBASE}/lib --with-tcl-lib=${LOCALBASE}/lib \ --with-tk-lib=${LOCALBASE}/lib \ --with-tkinclude=${LOCALBASE}/include/tk8.3 @@ -56,8 +57,6 @@ pre-extract: @${ECHO} post-patch: - cd ${WRKSRC}/contrib/gtk \ - && ${AUTOCONF} ${AUTOCONF_ARGS} -l ${WRKSRC} cd ${WRKSRC}/platform/emulator \ && ${AUTOCONF} ${AUTOCONF_ARGS} -l ${WRKSRC} cd ${WRKSRC}/platform/tools/gump/ozflex \ diff --git a/lang/mozart/distinfo b/lang/mozart/distinfo index 17e92270c562..68504fbed570 100644 --- a/lang/mozart/distinfo +++ b/lang/mozart/distinfo @@ -1,3 +1,2 @@ -MD5 (mozart-1.2.4.20020829-src.tar.gz) = 074662e62046458c75bee97e8f102b49 -MD5 (mozart-1.2.4.20020829-doc.tar.gz) = 51ba147adcf78c63773a0122b0968d89 -MD5 (mozart-1.2.4.20020829-doc.tar.gz) = 51ba147adcf78c63773a0122b0968d89 +MD5 (mozart-1.2.5.20030212-src.tar.gz) = b3811893c9a230a46ee4e5b4eeb5d65c +MD5 (mozart-1.2.5.20030212-doc.tar.gz) = 389ee3f247ccb95e58bd949db4612875 diff --git a/lang/mozart/files/patch-af b/lang/mozart/files/patch-af new file mode 100644 index 000000000000..b8c4d2ccbc4e --- /dev/null +++ b/lang/mozart/files/patch-af @@ -0,0 +1,13 @@ +--- platform/emulator/libfd/std.cc Tue Aug 20 16:19:47 2002 ++++ platform/emulator/libfd/std.cc Thu Jul 24 19:19:27 2003 +@@ -44,7 +44,9 @@ + + #else + +-#include <values.h> ++#include <limits.h> ++#include <float.h> ++#define DMAXPOWTWO DBL_MAX_EXP + + #endif + diff --git a/lang/mozart/pkg-plist b/lang/mozart/pkg-plist index 65f7f0d01e34..9e1a9b53f6be 100644 --- a/lang/mozart/pkg-plist +++ b/lang/mozart/pkg-plist @@ -7,6 +7,8 @@ bin/ozengine bin/ozl bin/ozplatform bin/oztool +bin/ozwrapper.bin +bin/ozwrapper2.bin bin/pickle2text bin/text2pickle @comment Insert PLIST.lib-oz here |