aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorOliver Lehmann <oliver@FreeBSD.org>2003-10-05 00:12:58 +0000
committerOliver Lehmann <oliver@FreeBSD.org>2003-10-05 00:12:58 +0000
commit024c5436d96a5bdb5465550d739e0c01a8643f75 (patch)
treef023284be401b0b12012d9661e97bbb3f94a1810
parent4d6092c4a2ca8733495c2172eed642681fb0edbb (diff)
downloadports-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/Makefile15
-rw-r--r--lang/mozart/distinfo5
-rw-r--r--lang/mozart/files/patch-af13
-rw-r--r--lang/mozart/pkg-plist2
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