diff options
Diffstat (limited to 'dev-ml/mirage-time')
| -rw-r--r-- | dev-ml/mirage-time/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/mirage-time/metadata.xml | 20 | ||||
| -rw-r--r-- | dev-ml/mirage-time/mirage-time-3.0.0.ebuild | 32 |
3 files changed, 0 insertions, 53 deletions
diff --git a/dev-ml/mirage-time/Manifest b/dev-ml/mirage-time/Manifest deleted file mode 100644 index 2dcef863a..000000000 --- a/dev-ml/mirage-time/Manifest +++ /dev/null @@ -1 +0,0 @@ -DIST mirage-time-3.0.0.tar.gz 2710 BLAKE2B 0dbdfe1e995a5e297e1ed23d704ffc2fdad6cf958420cd5ff98bb440d1e03606c543a3401fdfb288a7ddb34fcec6ab2c2ae4172ac9294bb33bc00fb3a3b85b8c SHA512 a3b72b1bbc7d5794e33a1fffab0808be1b4e89a722e9ceab88fe615ea5d3921c256f1ddfa8962f80e0c8d4eea0b11df95c03248d4a47709be4e7a000659ac51e diff --git a/dev-ml/mirage-time/metadata.xml b/dev-ml/mirage-time/metadata.xml deleted file mode 100644 index a4a5c7462..000000000 --- a/dev-ml/mirage-time/metadata.xml +++ /dev/null @@ -1,20 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> -<pkgmetadata> - <maintainer type="person"> - <email>lssndrbarbieri@gmail.com</email> - <name>Alessandro Barbieri</name> - </maintainer> - <use> - <flag name="unix">Time operations for MirageOS on Unix</flag> - </use> - <upstream> - <doc>https://mirage.github.io/mirage-time/</doc> - <bugs-to>https://github.com/mirage/mirage-time/issues</bugs-to> - <remote-id type="github">mirage/mirage-time</remote-id> - <maintainer> - <name>Thomas Gazagnaire</name> - <email>thomas@gazagnaire.org</email> - </maintainer> - </upstream> -</pkgmetadata> diff --git a/dev-ml/mirage-time/mirage-time-3.0.0.ebuild b/dev-ml/mirage-time/mirage-time-3.0.0.ebuild deleted file mode 100644 index bd650d930..000000000 --- a/dev-ml/mirage-time/mirage-time-3.0.0.ebuild +++ /dev/null @@ -1,32 +0,0 @@ -# Copyright 1999-2022 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -inherit dune multiprocessing - -DESCRIPTION="Time signatures for MirageOS" -HOMEPAGE="https://github.com/mirage/mirage-time" -SRC_URI="https://github.com/mirage/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" - -LICENSE="ISC" -SLOT="0/${PV}" -KEYWORDS="~amd64" -IUSE="ocamlopt unix" - -RDEPEND=" - dev-ml/lwt - unix? ( dev-ml/duration ) -" -DEPEND="${RDEPEND}" - -src_compile() { - local pkgs="mirage-time" - use unix && pkgs="${pkgs},mirage-time-unix" - dune build -p "${pkgs}" -j $(makeopts_jobs) || die -} - -src_install() { - dune_src_install mirage-time - use unix && dune_src_install mirage-time-unix -} |