diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2024-07-02 16:26:03 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-07-02 16:50:25 +0200 |
| commit | 51b7a8463aa70e9dc3fa4912d52d71fdc67e6ec7 (patch) | |
| tree | 9ccd325e3d99732f6008c129d543e4f3270b47f3 /dev-ml | |
| parent | dev-ml/cinaps: drop old 0.14.0 (diff) | |
| download | gentoo-51b7a8463aa70e9dc3fa4912d52d71fdc67e6ec7.tar.gz gentoo-51b7a8463aa70e9dc3fa4912d52d71fdc67e6ec7.tar.bz2 gentoo-51b7a8463aa70e9dc3fa4912d52d71fdc67e6ec7.zip | |
dev-ml/cmdliner: drop old 1.0.4
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/cmdliner/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/cmdliner/cmdliner-1.0.4.ebuild | 45 |
2 files changed, 0 insertions, 46 deletions
diff --git a/dev-ml/cmdliner/Manifest b/dev-ml/cmdliner/Manifest index 9f5a3bb6af1f..acbcc40bdc48 100644 --- a/dev-ml/cmdliner/Manifest +++ b/dev-ml/cmdliner/Manifest @@ -1,4 +1,3 @@ -DIST cmdliner-1.0.4.tbz 49558 BLAKE2B 8ea922a22d08fc4cce6c0aff1adff9a2fcdaee8e13b7bdfad4a08b459e8a6557761fa70c9e34100bc8baaa4113e5729f2daf297fc1f618bd8c30b9323bb87ba2 SHA512 4cd1cc0932b8bbd607160cc9816b35c12a68a358a35ffcb6827f547052dc517e871a91ddbaed0447cb1fa5fdf510cdf5d760e8e5c1e4548f82e1d523e2b3ecb3 DIST cmdliner-1.1.1.tbz 58054 BLAKE2B 1c3d3c836d390490d0470cae1545a8ea6bd3ee2b10d33e02fbbad5c47cf5c1fb9104f05a32119580af57358e0cdd9b17fa319a7fe62a9de9f6b504d9f0300513 SHA512 5478ad833da254b5587b3746e3a8493e66e867a081ac0f653a901cc8a7d944f66e4387592215ce25d939be76f281c4785702f54d4a74b1700bc8838a62255c9e DIST cmdliner-1.2.0.tbz 58504 BLAKE2B bc5be67fff2d83408b8537fbb7472c3811452df5cf89dd3d175fa052629339ac960d12e751cca3d8f750c6bd8bb43df645f976477597b9a5609577a73bbb00e0 SHA512 6fcd6a59a6fbc6986b1aecdc3e4ce7a0dc43c65a16b427d6caa5504b10b51384f6b0bc703af646b09f5f1caeb6827b37d4480ce350ca8006204c850785f2810b DIST cmdliner-1.3.0.tbz 58515 BLAKE2B 297b8903e1446a94be5580557b2d94a686833997d9b5f688564f31f6c13bf1e6d1f589143b223a78b7dc6f259c5ca664529b3273e5bf29d5a503d9612ba65ef6 SHA512 4c46bc334444ff772637deae2f5ba03645d7a1b7db523470a1246acfce79b971c764d964cbb02388639b3161b279700d9ade95da550446fb32aa4849c8a8f283 diff --git a/dev-ml/cmdliner/cmdliner-1.0.4.ebuild b/dev-ml/cmdliner/cmdliner-1.0.4.ebuild deleted file mode 100644 index 859d7ed16eb4..000000000000 --- a/dev-ml/cmdliner/cmdliner-1.0.4.ebuild +++ /dev/null @@ -1,45 +0,0 @@ -# Copyright 1999-2022 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -inherit findlib - -DESCRIPTION="Declarative definition of command line interfaces for OCaml" -HOMEPAGE="http://erratique.ch/software/cmdliner" -SRC_URI="http://erratique.ch/software/${PN}/releases/${P}.tbz" - -LICENSE="ISC" -SLOT="0/${PV}" -KEYWORDS="amd64 arm arm64 ~ppc ppc64 x86" -IUSE="+ocamlopt test" -RESTRICT="!test? ( test )" - -RDEPEND=" - >=dev-lang/ocaml-4:=[ocamlopt?] - dev-ml/result:= - dev-ml/findlib:= -" -DEPEND="${RDEPEND} - dev-ml/topkg - dev-ml/ocamlbuild" - -src_compile() { - ocaml pkg/pkg.ml build \ - --tests $(usex test true false) \ - || die -} - -src_test() { - ocaml pkg/pkg.ml test || die -} - -src_install() { - # Can't use opam-installer here as it is an opam dep... - findlib_src_preinst - local nativelibs="" - use ocamlopt && nativelibs="$(echo _build/src/cmdliner.cm{x,xa,xs} _build/src/cmdliner.a)" - ocamlfind install cmdliner _build/pkg/META \ - _build/src/cmdliner.mli _build/src/cmdliner.cm{a,i} ${nativelibs} || die - dodoc README.md CHANGES.md -} |