summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2022-04-26 21:29:35 +0200
committerAlfredo Tupone <tupone@gentoo.org>2022-04-26 21:29:59 +0200
commite004a29792f678dc94ac3966bf9fc877a08be328 (patch)
tree62bbf36e2e75cef9e312443b95bda144d48e9f96 /dev-ml
parentpackage.mask: add sexp_pretty to janestreet mask (diff)
downloadgentoo-e004a29792f678dc94ac3966bf9fc877a08be328.tar.gz
gentoo-e004a29792f678dc94ac3966bf9fc877a08be328.tar.bz2
gentoo-e004a29792f678dc94ac3966bf9fc877a08be328.zip
dev-ml/sexp_pretty: add to tree
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/sexp_pretty/Manifest1
-rw-r--r--dev-ml/sexp_pretty/metadata.xml11
-rw-r--r--dev-ml/sexp_pretty/sexp_pretty-0.15.0.ebuild24
3 files changed, 36 insertions, 0 deletions
diff --git a/dev-ml/sexp_pretty/Manifest b/dev-ml/sexp_pretty/Manifest
new file mode 100644
index 000000000000..0b56b3b8d0ac
--- /dev/null
+++ b/dev-ml/sexp_pretty/Manifest
@@ -0,0 +1 @@
+DIST sexp_pretty-0.15.0.tar.gz 22407 BLAKE2B df8d246ebe1164f0d2d3ae78074c8249d2aa255a089e02eb9fcc0c21b808dc172da2da264d3b21b92dcc7bf9e51a2921ea8631eb45b45a46035447ead7abe02d SHA512 bc2a7aecfc3ae379a56e8940b9cc80ece686009c9f67233e7993e25ebbe251d62559601923db718a0f967cf42fc84024597c069659842760bb2ac5ce0eab8df2
diff --git a/dev-ml/sexp_pretty/metadata.xml b/dev-ml/sexp_pretty/metadata.xml
new file mode 100644
index 000000000000..7b8d25489544
--- /dev/null
+++ b/dev-ml/sexp_pretty/metadata.xml
@@ -0,0 +1,11 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <maintainer type="project">
+ <email>ml@gentoo.org</email>
+ <name>ML</name>
+ </maintainer>
+ <upstream>
+ <remote-id type="github">janestreet/sexp_pretty</remote-id>
+ </upstream>
+</pkgmetadata>
diff --git a/dev-ml/sexp_pretty/sexp_pretty-0.15.0.ebuild b/dev-ml/sexp_pretty/sexp_pretty-0.15.0.ebuild
new file mode 100644
index 000000000000..a7320a57b1d9
--- /dev/null
+++ b/dev-ml/sexp_pretty/sexp_pretty-0.15.0.ebuild
@@ -0,0 +1,24 @@
+# Copyright 2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="S-expression pretty-printer"
+HOMEPAGE="https://github.com/janestreet/sexp_pretty"
+SRC_URI="https://github.com/janestreet/${PN}/archive/refs/tags/v${PV}.tar.gz
+ -> ${P}.tar.gz"
+
+LICENSE="MIT"
+SLOT="0/$(ver_cut 1-2)"
+KEYWORDS="~amd64"
+IUSE="+ocamlopt"
+
+DEPEND="
+ dev-ml/ppx_base:${SLOT}
+ dev-ml/sexplib:${SLOT}
+ dev-ml/re:=
+"
+RDEPEND="${DEPEND}"
+BDEPEND=""