summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/ppx_stable_witness')
-rw-r--r--dev-ml/ppx_stable_witness/Manifest1
-rw-r--r--dev-ml/ppx_stable_witness/ppx_stable_witness-0.17.0.ebuild24
2 files changed, 25 insertions, 0 deletions
diff --git a/dev-ml/ppx_stable_witness/Manifest b/dev-ml/ppx_stable_witness/Manifest
index c88f7895e0ab..1aa1b2f7bab6 100644
--- a/dev-ml/ppx_stable_witness/Manifest
+++ b/dev-ml/ppx_stable_witness/Manifest
@@ -1 +1,2 @@
DIST ppx_stable_witness-0.16.0.tar.gz 7641 BLAKE2B 45bbdb187c1dd9dcf1a3d51fe932bc7e93d7b23f40203e065fd5ba6f4bc4d418c241bd1c9550c09c78638865a3f17b22dead0e22bd8c04037d99691f8dbf6a1b SHA512 386688f6b9bed1fa481030f881b124681c18a49c8a1933233a7cd90dff5ddb4f1739cfb2d1c5262b2e7c2c2e593c9f141af6565a5596547c1770e19e2422ea36
+DIST ppx_stable_witness-0.17.0.tar.gz 7625 BLAKE2B 6bce85ffbf42f85a8084da54bc5b78512bc834492dcf21a5379d8a89dcc80240de407a7e6e8d67e2661663c8c6bc68adc54ab5e8092e3984f2aec4b78a40490b SHA512 df004ae0bdab636da3b5743e19885e03f84a21058e86294fce3ea124a6588a3de549dd3237ab8362cb8a17387d7a0b9fb077973722664d6e83364f4487b89e95
diff --git a/dev-ml/ppx_stable_witness/ppx_stable_witness-0.17.0.ebuild b/dev-ml/ppx_stable_witness/ppx_stable_witness-0.17.0.ebuild
new file mode 100644
index 000000000000..9d18f27b5b7d
--- /dev/null
+++ b/dev-ml/ppx_stable_witness/ppx_stable_witness-0.17.0.ebuild
@@ -0,0 +1,24 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Ppx extension for deriving a witness that a type is intended to be stable"
+HOMEPAGE="https://github.com/janestreet/ppx_stable_witness"
+SRC_URI="https://github.com/janestreet/ppx_stable_witness/archive/v${PV}.tar.gz
+ -> ${P}.tar.gz"
+
+LICENSE="Apache-2.0"
+SLOT="0/$(ver_cut 1-2)"
+KEYWORDS="~amd64 ~arm64 ~ppc ~ppc64"
+IUSE="+ocamlopt"
+
+RDEPEND="
+ >=dev-lang/ocaml-5
+ dev-ml/base:${SLOT}[ocamlopt?]
+ >=dev-ml/ppxlib-0.32.1:=[ocamlopt?]
+"
+DEPEND="${RDEPEND}"
+BDEPEND=">=dev-ml/dune-3.11"