summaryrefslogtreecommitdiff
path: root/dev-ml/ptime
diff options
context:
space:
mode:
authorLiguros - Gitlab CI/CD [develop] <gitlab@liguros.net>2022-04-12 21:03:09 +0000
committerLiguros - Gitlab CI/CD [develop] <gitlab@liguros.net>2022-04-12 21:03:09 +0000
commitd97953e6ff67978da9554e7b4601aedceb21e215 (patch)
tree674053c902db6972b9716c9ac3b1e960ee7a5358 /dev-ml/ptime
parent1d1fa5bb30df70070bbbbd2b777b839d31f09c41 (diff)
downloadbaldeagleos-repo-d97953e6ff67978da9554e7b4601aedceb21e215.tar.gz
baldeagleos-repo-d97953e6ff67978da9554e7b4601aedceb21e215.tar.xz
baldeagleos-repo-d97953e6ff67978da9554e7b4601aedceb21e215.zip
Adding metadata
Diffstat (limited to 'dev-ml/ptime')
-rw-r--r--dev-ml/ptime/Manifest1
-rw-r--r--dev-ml/ptime/metadata.xml12
-rw-r--r--dev-ml/ptime/ptime-1.0.0.ebuild31
3 files changed, 44 insertions, 0 deletions
diff --git a/dev-ml/ptime/Manifest b/dev-ml/ptime/Manifest
new file mode 100644
index 000000000000..226a8a6d13f4
--- /dev/null
+++ b/dev-ml/ptime/Manifest
@@ -0,0 +1 @@
+DIST ptime-1.0.0.tbz 33749 BLAKE2B 6765924f624a92c69495883accd47c66294f49e2d2841fafc66444369b97b9dceaecac0c00a14cba2e8e710bf85c6d5759f419e83d4d0a7bee56c197d06bb000 SHA512 df2410d9cc25a33083fe968a584b8fb4d68ad5c077f3356da0a20427e6cd8756a5b946b921e5cf8ed4097f2c506e93345d9dca63b113be644d5a7cc0753d1534
diff --git a/dev-ml/ptime/metadata.xml b/dev-ml/ptime/metadata.xml
new file mode 100644
index 000000000000..21ffb848fd64
--- /dev/null
+++ b/dev-ml/ptime/metadata.xml
@@ -0,0 +1,12 @@
+<?xml version='1.0' encoding='UTF-8'?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <maintainer type="person">
+ <description>co-maintainers welcome</description>
+ <email>lssndrbarbieri@gmail.com</email>
+ <name>Alessandro Barbieri</name>
+ </maintainer>
+ <upstream>
+ <remote-id type="github">dbuenzli/ptime</remote-id>
+ </upstream>
+</pkgmetadata>
diff --git a/dev-ml/ptime/ptime-1.0.0.ebuild b/dev-ml/ptime/ptime-1.0.0.ebuild
new file mode 100644
index 000000000000..3147bcdf9cff
--- /dev/null
+++ b/dev-ml/ptime/ptime-1.0.0.ebuild
@@ -0,0 +1,31 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+inherit opam findlib
+
+DESCRIPTION="POSIX time for OCaml"
+HOMEPAGE="
+ http://erratique.ch/software/ptime
+ https://github.com/dbuenzli/ptime
+"
+SRC_URI="http://erratique.ch/software/ptime/releases/${P}.tbz"
+
+LICENSE="ISC"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+RDEPEND=""
+DEPEND="
+ ${RDEPEND}
+ dev-ml/topkg
+"
+BDEPEND="dev-ml/ocamlbuild"
+
+OPAM_FILE=opam
+
+src_compile() {
+ ocaml pkg/pkg.ml build || die
+}