summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMatthieu Sozeau <mattam@gentoo.org>2004-02-08 22:27:40 +0000
committerMatthieu Sozeau <mattam@gentoo.org>2004-02-08 22:27:40 +0000
commit4c3b25cae2a45457e3dccf176f6354a2c63d11c8 (patch)
tree876591a205a9fad9fb1ad58e9c2d2e57b475f4ba /app-misc
parentNew upstream bugfix release. (Manifest recommit) (diff)
downloadgentoo-2-4c3b25cae2a45457e3dccf176f6354a2c63d11c8.tar.gz
gentoo-2-4c3b25cae2a45457e3dccf176f6354a2c63d11c8.tar.bz2
gentoo-2-4c3b25cae2a45457e3dccf176f6354a2c63d11c8.zip
Initial import, bug #22371
Diffstat (limited to 'app-misc')
-rw-r--r--app-misc/ledit/ChangeLog11
-rw-r--r--app-misc/ledit/Manifest2
-rw-r--r--app-misc/ledit/files/digest-ledit-1.111
-rw-r--r--app-misc/ledit/ledit-1.11.ebuild29
-rw-r--r--app-misc/ledit/metadata.xml5
5 files changed, 48 insertions, 0 deletions
diff --git a/app-misc/ledit/ChangeLog b/app-misc/ledit/ChangeLog
new file mode 100644
index 000000000000..d4623b380a0c
--- /dev/null
+++ b/app-misc/ledit/ChangeLog
@@ -0,0 +1,11 @@
+# ChangeLog for app-misc/ledit
+# Copyright 2000-2004 Gentoo Technologies, Inc.; Distributed under the GPL v2
+# $Header: /var/cvsroot/gentoo-x86/app-misc/ledit/ChangeLog,v 1.1 2004/02/08 22:27:40 mattam Exp $
+
+*ledit-1.11 (08 Feb 2004)
+
+ 08 Feb 2004; Matthieu Sozeau <mattam@gentoo.org> ledit-1.11.ebuild,
+ metadata.xml:
+ Initial import (bug #22371), ebuild proposed by Stéphane Gimenez
+ <sgimenez@ens-lyon.fr>. Herded under (lang-)ml.
+
diff --git a/app-misc/ledit/Manifest b/app-misc/ledit/Manifest
new file mode 100644
index 000000000000..abe52a542514
--- /dev/null
+++ b/app-misc/ledit/Manifest
@@ -0,0 +1,2 @@
+MD5 c7d60a5d03079f183ad5ecfbc755e702 ledit-1.11.ebuild 678
+MD5 ebd27d57928935b7692a6499cf7dfde8 files/digest-ledit-1.11 61
diff --git a/app-misc/ledit/files/digest-ledit-1.11 b/app-misc/ledit/files/digest-ledit-1.11
new file mode 100644
index 000000000000..ed0a68451fbb
--- /dev/null
+++ b/app-misc/ledit/files/digest-ledit-1.11
@@ -0,0 +1 @@
+MD5 a2d38ba641682509c1e964ad699a9dd2 ledit-1.11.tar.gz 14027
diff --git a/app-misc/ledit/ledit-1.11.ebuild b/app-misc/ledit/ledit-1.11.ebuild
new file mode 100644
index 000000000000..5e94d08912a5
--- /dev/null
+++ b/app-misc/ledit/ledit-1.11.ebuild
@@ -0,0 +1,29 @@
+# Copyright 1999-2004 Gentoo Technologies, Inc.
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/app-misc/ledit/ledit-1.11.ebuild,v 1.1 2004/02/08 22:27:40 mattam Exp $
+
+IUSE=""
+
+DESCRIPTION="A line editor to be used with interactive commands."
+SRC_URI="ftp://ftp.inria.fr/INRIA/Projects/cristal/Daniel.de_Rauglaudre/Tools/${P}.tar.gz"
+HOMEPAGE="http://cristal.inria.fr/~ddr/"
+
+DEPEND=">=dev-lang/ocaml-3.06"
+RDEPEND="${DEPEND}"
+
+SLOT="0"
+LICENSE="BSD"
+KEYWORDS="~x86 ~ppc"
+
+src_compile()
+{
+ make || die "make failed"
+ make ledit.opt || die "make failed"
+}
+
+src_install()
+{
+ newbin ledit.opt ledit
+ newman ledit.l ledit.1
+ dodoc Changes LICENSE README
+}
diff --git a/app-misc/ledit/metadata.xml b/app-misc/ledit/metadata.xml
new file mode 100644
index 000000000000..849ed8ebf13d
--- /dev/null
+++ b/app-misc/ledit/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>