aboutsummaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorHiroki Tokunaga <tokusan441@gmail.com>2024-07-29 11:19:08 +0900
committerHiroki Tokunaga <tokusan441@gmail.com>2024-07-29 11:19:08 +0900
commit95dcb253ed41b51bb35a363be7c333c86facf2bb (patch)
tree1d4bd5c574a0f1b4d30562640f56f6c17ced3b8f /dev-ml
parentsci-physics/openmodelica: Remove OMOptim icon installation (diff)
downloadguru-95dcb253ed41b51bb35a363be7c333c86facf2bb.tar.gz
guru-95dcb253ed41b51bb35a363be7c333c86facf2bb.tar.bz2
guru-95dcb253ed41b51bb35a363be7c333c86facf2bb.zip
dev-ml/dune-rpc: new package, add 3.13.1
Signed-off-by: Hiroki Tokunaga <tokusan441@gmail.com>
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/dune-rpc/Manifest1
-rw-r--r--dev-ml/dune-rpc/dune-rpc-3.13.1.ebuild49
-rw-r--r--dev-ml/dune-rpc/metadata.xml12
3 files changed, 62 insertions, 0 deletions
diff --git a/dev-ml/dune-rpc/Manifest b/dev-ml/dune-rpc/Manifest
new file mode 100644
index 000000000..65d26d5c3
--- /dev/null
+++ b/dev-ml/dune-rpc/Manifest
@@ -0,0 +1 @@
+DIST dune-rpc-3.13.1.tar.gz 2891852 BLAKE2B 88cee2428134ddcd6b929915b6bbeb2d17be8b8190f963919a74c63ffcf80f596fb1556f88c41ee602b2386e02fdf396596a6b2097d67c720bd00e16cdda3a57 SHA512 910d4ddd55a91ee65d8ea35b8915506db74c924eb3b67f7b0715da5599ee5088ea3edec81ce6735addd5b17234e445608e59fa353b83e991c14768d83c97a2b5
diff --git a/dev-ml/dune-rpc/dune-rpc-3.13.1.ebuild b/dev-ml/dune-rpc/dune-rpc-3.13.1.ebuild
new file mode 100644
index 000000000..7bab184de
--- /dev/null
+++ b/dev-ml/dune-rpc/dune-rpc-3.13.1.ebuild
@@ -0,0 +1,49 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="Communicate with dune using rpc"
+HOMEPAGE="
+ https://opam.ocaml.org/packages/dune-rpc/
+ https://github.com/ocaml/dune/
+"
+SRC_URI="https://github.com/ocaml/dune/archive/${PV}.tar.gz -> ${P}.tar.gz"
+
+S="${WORKDIR}/dune-${PV}"
+
+LICENSE="MIT"
+
+SLOT="0/${PV}"
+
+KEYWORDS="~amd64"
+IUSE="ocamlopt"
+
+RESTRICT="test"
+
+RDEPEND="
+ dev-ml/csexp:=
+ dev-ml/ordering:=
+ dev-ml/dyn:=
+ dev-ml/xdg:=
+ ~dev-ml/stdune-${PV}:=
+ >=dev-ml/pp-1.1.0:=
+"
+
+DEPEND="
+ ${RDEPEND}
+"
+
+src_configure() {
+ :
+}
+
+src_compile() {
+ dune-compile dune-rpc
+}
+
+src_install() {
+ dune-install dune-rpc
+}
diff --git a/dev-ml/dune-rpc/metadata.xml b/dev-ml/dune-rpc/metadata.xml
new file mode 100644
index 000000000..2131acf3b
--- /dev/null
+++ b/dev-ml/dune-rpc/metadata.xml
@@ -0,0 +1,12 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <maintainer type="person">
+ <email>tokusan441@gmail.com</email>
+ <name>Hiroki Tokunaga</name>
+ </maintainer>
+ <upstream>
+ <bugs-to>https://github.com/ocaml/dune/issues</bugs-to>
+ <remote-id type="github">ocaml/dune</remote-id>
+ </upstream>
+</pkgmetadata>