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 2C5F3158086 for ; Sun, 5 Dec 2021 01:02:06 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 52FF4E0824; Sun, 5 Dec 2021 01:02:04 +0000 (UTC) Received: from smtp.gentoo.org (woodpecker.gentoo.org [140.211.166.183]) (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 81618E081E for ; Sun, 5 Dec 2021 01:02:03 +0000 (UTC) Received: from oystercatcher.gentoo.org (unknown [IPv6:2a01:4f8:202:4333:225:90ff:fed9:fc84]) (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 55D47342E01 for ; Sun, 5 Dec 2021 01:02:02 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id DF405210 for ; Sun, 5 Dec 2021 01:02:00 +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: <1638665887.a5703e6d4a16f246f1ff4e78b150771d1ef0c070.xgqt@gentoo> Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/sedlex/ X-VCS-Repository: repo/gentoo X-VCS-Files: dev-ml/sedlex/Manifest dev-ml/sedlex/metadata.xml dev-ml/sedlex/sedlex-2.3.ebuild X-VCS-Directories: dev-ml/sedlex/ X-VCS-Committer: xgqt X-VCS-Committer-Name: Maciej Barć X-VCS-Revision: a5703e6d4a16f246f1ff4e78b150771d1ef0c070 X-VCS-Branch: master Date: Sun, 5 Dec 2021 01:02:00 +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: f822f59c-a9b8-4d0a-b1ae-5c988e01ee49 X-Archives-Hash: bfc3264de39f46292530ba1350ca676c commit: a5703e6d4a16f246f1ff4e78b150771d1ef0c070 Author: Maciej Barć gentoo org> AuthorDate: Sun Dec 5 00:28:47 2021 +0000 Commit: Maciej Barć gentoo org> CommitDate: Sun Dec 5 00:58:07 2021 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a5703e6d dev-ml/sedlex: new package; add version 2.3 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć gentoo.org> dev-ml/sedlex/Manifest | 4 ++++ dev-ml/sedlex/metadata.xml | 19 ++++++++++++++++ dev-ml/sedlex/sedlex-2.3.ebuild | 48 +++++++++++++++++++++++++++++++++++++++++ 3 files changed, 71 insertions(+) diff --git a/dev-ml/sedlex/Manifest b/dev-ml/sedlex/Manifest new file mode 100644 index 000000000000..66b18bbb4a83 --- /dev/null +++ b/dev-ml/sedlex/Manifest @@ -0,0 +1,4 @@ +DIST sedlex-2.3-DerivedCoreProperties.txt 993782 BLAKE2B 185f76580a496781524e19124cc4d6d2f0eec6964d4dcf17c05e4a1f4a6031a821740a34e373c3be82c5f25acdb93a77f9591eafe37d026d40e027054e717c0f SHA512 e6b54579369edf361ee961171d9b4896449e16327d77749201e07a7022a4d9bd9e50ba25cc7397fb4e40c852347b1ef8599ed45bd5bb96a1b8dc5cd04ada5fda +DIST sedlex-2.3-DerivedGeneralCategory.txt 255731 BLAKE2B 4cc70d21872e6c8d4a26dddaf204531533b79bd58b7238395ca25db7346bc916bd85aa0343abc194b4aab499d481f40a6fe1d8ea287e873ff1199a1bdd195be7 SHA512 b45324cb2791be1d1cf10862ca1ca4008fed2f482aa20042cac7190d4a8d46f840cc65b7367379343d209c06fdf37cd677f887a99bfbf3aa7022fcb3d4212c2d +DIST sedlex-2.3-PropList.txt 123554 BLAKE2B 3b0a0e12315acfa67e51e48133652b12b45473a22a90f7d2cad91e149cf861f59daf02f8a15aa1138a879be4645d0d6bd48d6a2b39e61584d45f4e763b635ee0 SHA512 1979d14eaa43512ad681f8ebffd93b6bf5b0edacb72d01d7814aa293083e4834840223848c492d96f75a3cc8b219a6671e85158ccde4d283b37be3f9e2f071e4 +DIST sedlex-2.3.tar.gz 114507 BLAKE2B ba777d90ceba41136ac552a2aea860b2932dc2c27d02a5875e8533d6740bcababe444d27427fbae59739a42901b3fb85f7b2ed8fd318f984734e7283ecd7e69e SHA512 f91bbda9e79417e0a7c723a8efd9644404ffc91c60898b8fa07a514c38bc8472eae34419405354ae80966feb8d3203943f78776ad395a16132c7c890e3dbd7d8 diff --git a/dev-ml/sedlex/metadata.xml b/dev-ml/sedlex/metadata.xml new file mode 100644 index 000000000000..9ef5fced7dd8 --- /dev/null +++ b/dev-ml/sedlex/metadata.xml @@ -0,0 +1,19 @@ + + + + + + ml@gentoo.org + ML + + + sedlex is a lexer generator for OCaml. It is similar to ocamllex, but + supports Unicode. Unlike ocamllex, sedlex allows lexer specifications + within regular OCaml source files. Lexing specific constructs are provided + via a ppx syntax extension. + + + https://github.com/ocaml-community/sedlex/issues/ + ocaml-community/sedlex + + diff --git a/dev-ml/sedlex/sedlex-2.3.ebuild b/dev-ml/sedlex/sedlex-2.3.ebuild new file mode 100644 index 000000000000..ebd20d7914db --- /dev/null +++ b/dev-ml/sedlex/sedlex-2.3.ebuild @@ -0,0 +1,48 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="An OCaml lexer generator for Unicode" +HOMEPAGE="https://github.com/ocaml-community/sedlex" +SRC_URI="https://github.com/ocaml-community/${PN}/archive/v${PV}.tar.gz + -> ${P}.tar.gz" + +FILES=( DerivedCoreProperties extracted/DerivedGeneralCategory PropList ) +for file in ${FILES[@]} ; do + SRC_URI+=" https://www.unicode.org/Public/12.1.0/ucd/${file}.txt + -> ${P}-${file##*/}.txt" +done + +LICENSE="MIT" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="+ocamlopt" + +DEPEND=" + dev-ml/gen:= + dev-ml/ppxlib:= + dev-ml/uchar:= +" +RDEPEND="${DEPEND}" + +src_unpack() { + unpack "${P}.tar.gz" + + local file + for file in ${FILES[@]} ; do + ebegin "Copying ${file}" + cp "${DISTDIR}/${P}-${file##*/}.txt" \ + "${S}/src/generator/data/${file##*/}.txt" + eend $? || die + done +} + +src_prepare() { + default + + # Remove dune file with rules to download additional txt files + rm "${S}/src/generator/data/dune" || die +}