diff options
-rw-r--r-- | app-misc/ledit/Manifest | 2 | ||||
-rw-r--r-- | app-misc/ledit/ledit-2.05.ebuild | 40 |
2 files changed, 42 insertions, 0 deletions
diff --git a/app-misc/ledit/Manifest b/app-misc/ledit/Manifest new file mode 100644 index 0000000..6e35b9c --- /dev/null +++ b/app-misc/ledit/Manifest @@ -0,0 +1,2 @@ +DIST ledit-2-05.tar.gz 25220 BLAKE2B fb6251390ba75269022198defb8680f7b3fcf01c86f67cf207184abd7b66b0cfc1fca0cb1e1505e78933323470bff53f747335d5c92e3055e38cd1cc33ba4aed SHA512 1415ded092ed4b0c75dbc52508f8b4cdc3645b0cc63a50de613f4854fdeca05bf05ae335398f803cb28144650a35b4f7b9453fd0488fad217c1450dc64e0d04a +EBUILD ledit-2.05.ebuild 868 BLAKE2B 997cb612a9f9b5ff695bdac200c8fc1231ddc0b735e9e4cca1bf8cc4483412d08f187cc8aa52f676a19240db5eed7335f04444c9774eacbd8b96d3c21abe3c27 SHA512 4bdc3539128e4ff45ac9f2565232b64b2a161f931847876164a9e67143957617a02d826ba2b97f7e37572b6925f99aedab88aafefa8932630548070a54442868 diff --git a/app-misc/ledit/ledit-2.05.ebuild b/app-misc/ledit/ledit-2.05.ebuild new file mode 100644 index 0000000..8d4c3a6 --- /dev/null +++ b/app-misc/ledit/ledit-2.05.ebuild @@ -0,0 +1,40 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +DESCRIPTION="A line editor to be used with interactive commands" +HOMEPAGE="http://pauillac.inria.fr/~ddr/ledit/" +SRC_URI="https://github.com/chetmurthy/ledit/archive/${P//\./-}.tar.gz" + +LICENSE="BSD" +SLOT="0" +KEYWORDS="amd64 ppc x86" +IUSE="+ocamlopt" + +RESTRICT="installsources !ocamlopt? ( strip )" + +DEPEND=">=dev-lang/ocaml-3.09:=[ocamlopt?] + dev-ml/camlp5:=" +RDEPEND="${DEPEND}" + +# For explanation please follow the link below. +# https://github.com/gentoo/gentoo/pull/14865#issuecomment-605697524 +QA_FLAGS_IGNORED="/usr/bin/ledit" + +src_compile() { + emake -j1 all + if use ocamlopt; then + emake -j1 ledit.opt + fi +} + +src_install() { + if use ocamlopt; then + newbin ledit.opt ledit + else + newbin ledit.out ledit + fi + doman ledit.1 + dodoc CHANGES README +} |