summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMatthieu Sozeau <mattam@gentoo.org>2004-08-21 19:05:24 +0000
committerMatthieu Sozeau <mattam@gentoo.org>2004-08-21 19:05:24 +0000
commit338c0be1b863c13313d1f3d92ce7f6442fcde248 (patch)
tree97d597176b52f46d681bde73e87aef78d68380f9 /dev-ml/extlib
parent<fpc-source> I don't like anything above -j1. <ChrisWhite> why me! Fixing so... (diff)
downloadhistorical-338c0be1b863c13313d1f3d92ce7f6442fcde248.tar.gz
historical-338c0be1b863c13313d1f3d92ce7f6442fcde248.tar.bz2
historical-338c0be1b863c13313d1f3d92ce7f6442fcde248.zip
Initial import, fix bug #60917
Diffstat (limited to 'dev-ml/extlib')
-rw-r--r--dev-ml/extlib/ChangeLog13
-rw-r--r--dev-ml/extlib/Manifest4
-rw-r--r--dev-ml/extlib/extlib-1.2.ebuild40
-rw-r--r--dev-ml/extlib/files/digest-extlib-1.21
-rw-r--r--dev-ml/extlib/metadata.xml5
5 files changed, 63 insertions, 0 deletions
diff --git a/dev-ml/extlib/ChangeLog b/dev-ml/extlib/ChangeLog
new file mode 100644
index 000000000000..c02b7c29703a
--- /dev/null
+++ b/dev-ml/extlib/ChangeLog
@@ -0,0 +1,13 @@
+# ChangeLog for dev-ml/extlib
+# Copyright 1999-2004 Gentoo Foundation; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/extlib/ChangeLog,v 1.1 2004/08/21 19:05:24 mattam Exp $
+
+*extlib-1.2 (21 Aug 2004)
+
+ 21 Aug 2004; Matthieu Sozeau <mattam@gentoo.org> +metadata.xml,
+ +extlib-1.2.ebuild:
+ Extlib is a library whose purpose is to complete the ocaml standard library.
+ Intial submission by Bardur Arantsson <gentoo@scientician.net>, fixes bug
+ #60917. I added a doc use flag for building the HTML documentation, and
+ cleaned up the install process.
+
diff --git a/dev-ml/extlib/Manifest b/dev-ml/extlib/Manifest
new file mode 100644
index 000000000000..916ca6f595ef
--- /dev/null
+++ b/dev-ml/extlib/Manifest
@@ -0,0 +1,4 @@
+MD5 8b350f19c06fcabf1053b0421b7c3f5a metadata.xml 155
+MD5 a669297d9f7f24041a00f8fd22f301bb extlib-1.2.ebuild 736
+MD5 99b7573e645dd6aa2f043bf88db7b17e ChangeLog 578
+MD5 96670a25615fa0a849102804021fee8e files/digest-extlib-1.2 58
diff --git a/dev-ml/extlib/extlib-1.2.ebuild b/dev-ml/extlib/extlib-1.2.ebuild
new file mode 100644
index 000000000000..2c8e920b66db
--- /dev/null
+++ b/dev-ml/extlib/extlib-1.2.ebuild
@@ -0,0 +1,40 @@
+# Copyright 1999-2004 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/extlib/extlib-1.2.ebuild,v 1.1 2004/08/21 19:05:24 mattam Exp $
+
+inherit findlib
+
+MY_P=extLib-${PV}
+
+DESCRIPTION="Standard library extensions for O'Caml"
+HOMEPAGE="http://ocaml-lib.sourceforge.net/"
+SRC_URI="mirror://sourceforge/ocaml-lib/${MY_P}.tgz"
+
+LICENSE="LGPL-2.1"
+DEPEND=">=dev-lang/ocaml-3.07"
+
+SLOT="0"
+KEYWORDS="~x86 ~ppc"
+IUSE="doc"
+
+S=${WORKDIR}/${MY_P}
+
+src_compile() {
+ sed -i -e "s/IOO//" Makefile
+ make all opt
+
+ if use doc; then
+ make doc
+ fi
+}
+
+src_install () {
+ findlib_src_install
+
+ # install documentation
+ dodoc README.txt
+
+ if use doc; then
+ dohtml doc/*
+ fi
+}
diff --git a/dev-ml/extlib/files/digest-extlib-1.2 b/dev-ml/extlib/files/digest-extlib-1.2
new file mode 100644
index 000000000000..99a552b3bcba
--- /dev/null
+++ b/dev-ml/extlib/files/digest-extlib-1.2
@@ -0,0 +1 @@
+MD5 3219e6331a522f3f2432957cf52bc1b0 extLib-1.2.tgz 58177
diff --git a/dev-ml/extlib/metadata.xml b/dev-ml/extlib/metadata.xml
new file mode 100644
index 000000000000..2193d772e351
--- /dev/null
+++ b/dev-ml/extlib/metadata.xml
@@ -0,0 +1,5 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+<herd>ml</herd>
+</pkgmetadata>