From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id 3009D15800F for ; Fri, 13 Jan 2023 02:30:16 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id E4DE3E0954; Fri, 13 Jan 2023 02:30:14 +0000 (UTC) Received: from smtp.gentoo.org (mail.gentoo.org [IPv6:2001:470:ea4a:1:5054:ff:fec7:86e4]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 5AB8EE0928 for ; Fri, 13 Jan 2023 02:30:14 +0000 (UTC) Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 3A88833FE49 for ; Fri, 13 Jan 2023 02:30:13 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 7E595836 for ; Fri, 13 Jan 2023 02:30:11 +0000 (UTC) From: "Maciej Barć" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Maciej Barć" Message-ID: <1673575267.af5c6638cedbb02493cd9da901db39aa29d81296.xgqt@gentoo> Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/utop/ X-VCS-Repository: repo/gentoo X-VCS-Files: dev-ml/utop/Manifest dev-ml/utop/utop-2.11.0.ebuild X-VCS-Directories: dev-ml/utop/ X-VCS-Committer: xgqt X-VCS-Committer-Name: Maciej Barć X-VCS-Revision: af5c6638cedbb02493cd9da901db39aa29d81296 X-VCS-Branch: master Date: Fri, 13 Jan 2023 02:30:11 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-Archives-Salt: f630037e-564b-4d86-885d-c515492afc65 X-Archives-Hash: c9ede04ecd3ddd47c7b37e5c429560e7 commit: af5c6638cedbb02493cd9da901db39aa29d81296 Author: Maciej Barć gentoo org> AuthorDate: Fri Jan 13 01:57:35 2023 +0000 Commit: Maciej Barć gentoo org> CommitDate: Fri Jan 13 02:01:07 2023 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=af5c6638 dev-ml/utop: bump to 2.11.0 Signed-off-by: Maciej Barć gentoo.org> dev-ml/utop/Manifest | 1 + dev-ml/utop/utop-2.11.0.ebuild | 63 ++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 64 insertions(+) diff --git a/dev-ml/utop/Manifest b/dev-ml/utop/Manifest index 8d4858a721cf..53a099e600f4 100644 --- a/dev-ml/utop/Manifest +++ b/dev-ml/utop/Manifest @@ -1,3 +1,4 @@ +DIST utop-2.11.0.tar.gz 416351 BLAKE2B 14d407bd79f83b9b0307ec34ec9330e625e0e5fbc4b4091f98a45d90ff6225c292b6d764746273a5b7e7abda74c83852056f470d8f2f3b16fffc16569ecc6f98 SHA512 ebc27219b0345ab1478499221756806874c430f81aa9f40e7d482d0fd948750919d631b6159faec19fef0d23d14e6a115e6b21a5aa724ce1534e000e5d35bdae DIST utop-2.9.0.tar.gz 414953 BLAKE2B 96fbf38d4a638137b73264bc523b8a81e47ddd609a7987073313f4b1d628e4e84c31f98195105911dd0930b8d27007cf5cc1633771bc6d2e975bd169e1e3ba9c SHA512 dd3f52fb915493cb32b5ee722361e884a481d04ef175d5bdf58f4032b70826c38b2f5279b7c64b78961170a86bc80fbd59f03026fac99bb5da2b46a8f341aa45 DIST utop-2.9.1.tar.gz 421430 BLAKE2B c90a7fe54c5fbf15ce209e9bf850031e0368104c1f8f61a2d982b2b43d87b4bb95c91e3af6da16ae27ebfab71f2b9907e7dec68d34f619597fe8db45ff363bf4 SHA512 10942a4c7d2e13081f2e02c29b767863176fe90ca5baf48d3be47bb0871a12840d873e5d3eb7d7dd9b0362e849f70afb913ff50c07e66c6b7f221c8bb98fa469 DIST utop-2.9.2.tar.gz 421512 BLAKE2B 235b4739e644877e4b9eef432a00ba053f42f2b4d4fdd9b0bd925af736d9a351c8f9373031bc4fc23835872034d48a27b8eac99d286f57cb975d2b1368f420c8 SHA512 14dd690b459cfea90c565b397b5d914add7e92b152b476ab58576dc827fa204b3d721955bfc3508bcb953778a8d6fb3b299b0293f8ddf64b3f0155fc9a0e7fda diff --git a/dev-ml/utop/utop-2.11.0.ebuild b/dev-ml/utop/utop-2.11.0.ebuild new file mode 100644 index 000000000000..a975e9bda1b7 --- /dev/null +++ b/dev-ml/utop/utop-2.11.0.ebuild @@ -0,0 +1,63 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune elisp-common + +DESCRIPTION="Universal toplevel for OCaml" +HOMEPAGE="https://github.com/ocaml-community/utop" +SRC_URI="https://github.com/ocaml-community/utop/archive/${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="BSD" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~x86" +IUSE="emacs +ocamlopt" + +ELISP_DEPEND=" + emacs? ( + >=app-editors/emacs-24:* + >=app-emacs/tuareg-mode-2.2.0 + ) +" +DEPEND=" + dev-ml/camomile:= + dev-ml/lambda-term:= + dev-ml/lwt:= + dev-ml/react:= +" +RDEPEND=" + ${DEPEND} + ${ELISP_DEPEND} +" +BDEPEND=" + dev-ml/cppo + dev-ml/findlib + ${ELISP_DEPEND} +" + +SITEFILE="50${PN}-gentoo.el" + +src_compile() { + dune_src_compile + + use emacs && + BYTECOMPFLAGS="-L src/top" elisp-compile src/top/*.el +} + +src_install() { + dune_src_install + + if use emacs ; then + elisp-install ${PN} src/top/*.el{,c} + elisp-site-file-install "${FILESDIR}/${SITEFILE}" + fi +} + +pkg_postinst() { + use emacs && elisp-site-regen +} + +pkg_postrm() { + use emacs && elisp-site-regen +}