cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

compile with ocaml 3.07

Browse Source
This commit is contained in:
sturm 2003-12-31 17:06:42 +00:00
parent 44b74a857b
commit 7f7292aee5
5 changed files with 27 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
math/coq/Makefile
View File

@ -1,8 +1,9 @@
# $OpenBSD: Makefile,v 1.6 2002/12/18 09:40:07 sturm Exp $
# $OpenBSD: Makefile,v 1.7 2003/12/31 17:07:26 sturm Exp $
COMMENT= "proof assistant based on a typed lambda calculus"
DISTNAME= coq-7.3.1
PKGNAME= ${DISTNAME}p0
CATEGORIES= math
HOMEPAGE= http://coq.inria.fr/
@ -23,6 +24,7 @@ DISTFILES= ${DISTNAME}.tar.gz \
Reference-Manual-all.ps.gz:0 \
library.tar.gz:1 \
RecTutorial.v.ps:2
PATCHFILES= patch-coq-7.3.1-ocaml-3.07
IGNOREFILES= doc-html.tar.gz

3
math/coq/distinfo
View File

@ -4,13 +4,16 @@ MD5 (coq/Reference-Manual-all.ps.gz) = eb979cd0bdb66956e9e1aa565841c6c2
MD5 (coq/coq-7.3.1.tar.gz) = bb403460bb51de80605b79dfa04fe807
MD5 (coq/doc-html.tar.gz) = IGNORE
MD5 (coq/library.tar.gz) = df44edc0178c643e0f7f9e5f8b4acb44
MD5 (coq/patch-coq-7.3.1-ocaml-3.07) = 1d741e547e79690f1a70addbf0e101d2
RMD160 (coq/Changes.html) = 8d0dd1e9957673efbe3a1638f8d7626d840cc792
RMD160 (coq/RecTutorial.v.ps) = bcc8967bfcf2df0e4b3671a2918189ed68bda225
RMD160 (coq/Reference-Manual-all.ps.gz) = fcdabfbe91d4a01a5b42a7d02817e74759f702e6
RMD160 (coq/coq-7.3.1.tar.gz) = a104a378e27fe605abe302508f12942e9460cc2f
RMD160 (coq/library.tar.gz) = f1e9ad855c27bb1a5045867df9ba1b56553470ed
RMD160 (coq/patch-coq-7.3.1-ocaml-3.07) = 3a6b69d9db10833e7224ca5ce1bb88020031cf8f
SHA1 (coq/Changes.html) = fe3e38b12a6cae141de27c46e9e1cb16999c90fa
SHA1 (coq/RecTutorial.v.ps) = 18f4d022aa0065bab3506f9a79e626d6a8cacfd4
SHA1 (coq/Reference-Manual-all.ps.gz) = 17bd9cb9fba01578dea7c02fc2bec07680a12c7c
SHA1 (coq/coq-7.3.1.tar.gz) = 85627e5ae31f80a9f7b1dfd8d2573bfd4ebe2871
SHA1 (coq/library.tar.gz) = 8dcbc596bbcdb3186cc24f5999c43872226eca4c
SHA1 (coq/patch-coq-7.3.1-ocaml-3.07) = 001184bdc6f39fc5edff2bf0f3b27454a21b85e1

4
net/mldonkey/Makefile
View File

@ -1,4 +1,4 @@
# $OpenBSD: Makefile,v 1.4 2003/12/09 11:07:06 espie Exp $
# $OpenBSD: Makefile,v 1.5 2003/12/31 17:06:42 sturm Exp $
COMMENT='e-donkey client'
CATEGORIES=net
@ -11,6 +11,7 @@ PERMIT_PACKAGE_CDROM= Yes
PERMIT_DISTFILES_FTP= Yes
PERMIT_DISTFILES_CDROM= Yes
CONFIGURE_STYLE= gnu
CONFIGURE_ARGS+= --enable-ocamlver=3.07
HOMEPAGE=http://savannah.nongnu.org/projects/mldonkey/
@ -24,6 +25,7 @@ MODULES=ocaml
BUILD_DEPENDS=::x11/lablgtk
LIB_DEPENDS=gdk.1,gtk.1::x11/gtk+
FAKE_FLAGS=prefix=${DESTDIR}${PREFIX} MODOCAML_NATIVE=${MODOCAML_NATIVE}
NO_REGRESS=Yes
post-install:
mkdir -p ${PREFIX}/share/mldonkey

12
net/mldonkey/patches/patch-config_Makefile_in
View File

@ -1,7 +1,7 @@
$OpenBSD: patch-config_Makefile_in,v 1.1 2003/06/29 07:57:18 sturm Exp $
--- config/Makefile.in.orig Thu Jun 5 09:32:27 2003
+++ config/Makefile.in Tue Jun 24 23:18:49 2003
@@ -450,6 +450,8 @@ uninstall::
$OpenBSD: patch-config_Makefile_in,v 1.2 2003/12/31 17:06:42 sturm Exp $
--- config/Makefile.in.orig 2003-10-12 20:41:28.000000000 +0200
+++ config/Makefile.in 2003-12-31 16:48:40.000000000 +0100
@@ -451,6 +451,8 @@ uninstall::
rm -f $(BINDIR)/mlnet
rm -f $(BINDIR)/mlgui
@ -10,7 +10,7 @@ $OpenBSD: patch-config_Makefile_in,v 1.1 2003/06/29 07:57:18 sturm Exp $
install:: opt
mkdir -p $(prefix)/bin
if test -e mlnet; then \
@@ -459,7 +461,7 @@ install:: opt
@@ -460,7 +462,7 @@ install:: opt
done; \
fi
if test -e mlgui; then \
@ -19,7 +19,7 @@ $OpenBSD: patch-config_Makefile_in,v 1.1 2003/06/29 07:57:18 sturm Exp $
rm -f $(prefix)/bin/mldonkey_gui; cp -f mlgui $(prefix)/bin/mldonkey_gui; \
fi
if test -e mlnet+gui; then \
@@ -469,9 +471,25 @@ install:: opt
@@ -470,9 +472,25 @@ install:: opt
done; \
fi
if test -e mlim; then \

12
net/mldonkey/patches/patch-config_configure Normal file
View File

@ -0,0 +1,12 @@
$OpenBSD: patch-config_configure,v 1.1 2003/12/31 17:06:42 sturm Exp $
--- config/configure.orig 2003-12-31 16:50:27.000000000 +0100
+++ config/configure 2003-12-31 16:52:12.000000000 +0100
@@ -3651,7 +3651,7 @@ ARCH=$arch
case "$OCAMLVERSION" in
3.06) TYPE_FORMAT="";;
- 3.07) TYPE_FORMAT="";;
+ 3.07*) TYPE_FORMAT="";;
*) TYPE_FORMAT="type ('a,'b,'c) ml_format = ('a,'b, 'c,'c) format type ('a,'b,'c) format = ('a,'b, 'c) ml_format";;
esac