From 8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sat, 14 Jul 2018 21:03:06 +0100 Subject: gentoo resync : 14.07.2018 --- dev-lang/confluence/Manifest | 3 ++ dev-lang/confluence/confluence-0.10.6.ebuild | 46 ++++++++++++++++++++++++++++ dev-lang/confluence/metadata.xml | 8 +++++ 3 files changed, 57 insertions(+) create mode 100644 dev-lang/confluence/Manifest create mode 100644 dev-lang/confluence/confluence-0.10.6.ebuild create mode 100644 dev-lang/confluence/metadata.xml (limited to 'dev-lang/confluence') diff --git a/dev-lang/confluence/Manifest b/dev-lang/confluence/Manifest new file mode 100644 index 000000000000..cfc7e799bd9e --- /dev/null +++ b/dev-lang/confluence/Manifest @@ -0,0 +1,3 @@ +DIST confluence-0.10.6.tar.gz 118762 BLAKE2B 31c340e38193c23e3fd119e668e2be5f56e275aa28b716370fcc8922c5fdb0d7689008bf965781f1c6045e6565671371b3b9e9fb44d51d77eba2c5dedc23d9aa SHA512 904ea553a917ac2aafc33464fe4175bca76c53c51c50819ea92326dd5a1451e98eca6a56db28b7041814e5e4cea61da618012087a79fa9ec670ca67fc0014d25 +EBUILD confluence-0.10.6.ebuild 1545 BLAKE2B 1d573dcfddda47c338430bc4a97676ea40b1938e9d7184fc13cf0387da6ee2caa71f897251f4ddc27e2ad2cee40d53d7fb8cb08a21df269eff90898f436d6537 SHA512 62e5ce01609e0593cdb0ec45406f625d4290111bc0066f1cd7fb37036be2521b640816b4e41d79a2cad86b4c0de1360cf7ae3aae47b95e6968c384d66958c1d2 +MISC metadata.xml 243 BLAKE2B 010ca240ae06e9a9f6d7ba213eb06df36d9ba862ff2d2458d98a9fea1a1e7f3026d13832a73bce1b3ad9345029425e6abfae9e03bf126f2329b3f030ed3753fd SHA512 1c5b4b2163017e496999d1f87e5c9c5ac6c11b2e9187450ccfb3df258f34e54d278972f04ee0e8429476c6f87e091a869ac2a28c6e8c8e6d20678c3e74061449 diff --git a/dev-lang/confluence/confluence-0.10.6.ebuild b/dev-lang/confluence/confluence-0.10.6.ebuild new file mode 100644 index 000000000000..2743ff5f6152 --- /dev/null +++ b/dev-lang/confluence/confluence-0.10.6.ebuild @@ -0,0 +1,46 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI="2" + +inherit eutils + +DESCRIPTION="Functional programming language for reactive system design" +HOMEPAGE="http://www.funhdl.org/wiki/doku.php?id=confluence" +SRC_URI="http://www.funhdl.org/download/${P}.tar.gz" + +LICENSE="GPL-2" +SLOT="0" +KEYWORDS="alpha ~amd64 ia64 ~ppc ~sparc x86" +IUSE="+ocamlopt" + +# min version so we are sure we always have ocamlopt in IUSE +RDEPEND=">=dev-lang/ocaml-3.10[ocamlopt?]" +DEPEND="${RDEPEND} + sys-apps/sed" + +src_prepare() { + # Install non binary stuff in share... + sed -i -e "s:lib/confluence:share/confluence:" Makefile || die "failed to sed the makefile" + sed -i -e "s:lib/confluence:share/confluence:" src/cfeval/cf.ml || die "failed to sed ml files" + sed -i -e "s:lib/confluence:share/confluence:" src/cfeval/cfParserUtil.ml || die "failed to sed ml files" + if ! use ocamlopt; then + sed -i -e "s:cmxa:cma:" src/Makefile || die "failed to disable ocamlopt support" + sed -i -e "s:cmx:cmo:" src/Makefile || die "failed to disable ocamlopt support" + fi +} + +src_compile() { + if use ocamlopt; then + emake -j1 PREFIX="${D}/usr" OCAMLLIB=`ocamlc -where` || die "failed to build" + else + emake -j1 OCAMLOPT="ocamlc" OCAMLC="ocamlc" PREFIX="${D}/usr" OCAMLLIB=`ocamlc -where` || die "failed to build" + fi +} + +src_install() { + emake -j1 PREFIX="${D}/usr" OCAMLLIB=`ocamlc -where` install || die "install failed" + echo "CF_LIB=/usr/share/confluence" > "${T}/99${PN}" + doenvd "${T}/99${PN}" + dodoc NEWS || die +} diff --git a/dev-lang/confluence/metadata.xml b/dev-lang/confluence/metadata.xml new file mode 100644 index 000000000000..ffac4d7ebc01 --- /dev/null +++ b/dev-lang/confluence/metadata.xml @@ -0,0 +1,8 @@ + + + + + ml@gentoo.org + Gentoo ML Project + + -- cgit v1.2.3