diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2020-01-15 15:51:32 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2020-01-15 15:51:32 +0000 |
| commit | 21435953e16cda318a82334ddbadb3b5c36d9ea7 (patch) | |
| tree | e1810a4b135afce04b34862ef0fab2bfaeb8aeca /dev-ml/atd | |
| parent | 7bc9c63c9da678a7e6fceb095d56c634afd22c56 (diff) | |
gentoo resync : 15.01.2020
Diffstat (limited to 'dev-ml/atd')
| -rw-r--r-- | dev-ml/atd/Manifest | 7 | ||||
| -rw-r--r-- | dev-ml/atd/atd-1.12.0.ebuild | 47 | ||||
| -rw-r--r-- | dev-ml/atd/atd-1.2.0.ebuild | 33 | ||||
| -rw-r--r-- | dev-ml/atd/atd-1.2.1.ebuild | 34 | ||||
| -rw-r--r-- | dev-ml/atd/metadata.xml | 8 |
5 files changed, 0 insertions, 129 deletions
diff --git a/dev-ml/atd/Manifest b/dev-ml/atd/Manifest deleted file mode 100644 index 821d08f8ff0d..000000000000 --- a/dev-ml/atd/Manifest +++ /dev/null @@ -1,7 +0,0 @@ -DIST atd-1.12.0.tar.gz 145428 BLAKE2B d9cc3b98567383e1a5dbb068165f144fb033e17030f979eb20963837b96f93d9b950943d59d1d0f348fed28ec05c5906ce6672f848d428193379670f5c4b51c4 SHA512 c24601b276da7837bc896bb42b2e0fa91ebfbf07759560c2490ed44bef722dcf8d586aaba1e62abff262805cab89996835611ab9fb68aa096dfc84bb55365475 -DIST atd-1.2.0.tar.gz 41300 BLAKE2B 3919de0a2ca5b071d2cfdab8b74c6f528bc6c1b6965e6a29d8ddfda89ac6db0fd2b6e1012e052370a9ca555c392176f68339c193076b082c79ebbedcd4146817 SHA512 a52824c9784ac0f4d6f314972fa1d92be14730de3c6bde04032004579ac27408385bd4fa7d926f9d564657eb62050fd732a032f364bada62a1dc7a8acfacb727 -DIST atd-1.2.1.tar.gz 39018 BLAKE2B 313a3019428f187051209e8eb2bec99f9a8fdefdb4da342c50bd54b42378c0c5eda988e13413c567765f8504ee24599fc440fdad6b8a3e728189df0f3b9f1939 SHA512 5dde8dd1e6ca53ae2ff7efc873211079678a824ae7a9d4182d58e3e10ce50a9dcd705de7168a8cfb12ea3d030a0d01b2485d436e77bfa48c14df7628b47161dc -EBUILD atd-1.12.0.ebuild 864 BLAKE2B 1a86878d0e2569b50b1ce77bb7e96013f641bca056409d3c4a2c252d3bd651a08bb5dd0f3ec98cd5da4a67d96315494c523db5492b17f75f32563663da90554f SHA512 572cb690a7e3d118236082a81b0d78a2a58c0c2c2bd42de3c0e2e6764d5170cc4cf04b9ba56becf77287ddd5bff5f0b9c03640f650ada02362100151770477d5 -EBUILD atd-1.2.0.ebuild 650 BLAKE2B 3122850c5263af96ddffe9672d5340d4a2bd9b6e261acb094cf5de2c8e7daabbe94014b8865113c1e42fdb0b389dc0b5064c4fe8bf5c9f24d24643bb77db2958 SHA512 727734e5c910ee7bd17fda58fa7135a82310ecab74854d6b2e854a85eed233baf8ee65909140907a0e86ad4fe2ec44f11bcdbfb183412c7eb83c5b8acc5c0c14 -EBUILD atd-1.2.1.ebuild 713 BLAKE2B 93dafa58ebd8b668e62cfe8c0af994f33324e423fc0914fda3bc6f9162f699c26d3e472542713cccf48903a2bde71fa73f367ab32e37af638b07b40018e745a9 SHA512 836c383552787eedb784c28069e82b07560d544c3c809c610a3d5ac46d4e35b88ead5e6f0fcb42d8678090a295cdf6c7ef7a42b38d81e2faecaf269fc0407377 -MISC metadata.xml 243 BLAKE2B ead922eb715366a231bea12aeb056c91a0a675c5fbb0d05d6f3832ff15135def19077bf8f90551afbc0d80ed09fd43b49212065dcf063ac7fc06489530b51d77 SHA512 a07b326e6c52e08785cb6f41430494f2f977fe50786eacd574b1c38b4b2a13840f065d69364661f46ab4e71e5769e48b99516d590f3563e6bc33c9d056f9cc19 diff --git a/dev-ml/atd/atd-1.12.0.ebuild b/dev-ml/atd/atd-1.12.0.ebuild deleted file mode 100644 index 437a438bc9a5..000000000000 --- a/dev-ml/atd/atd-1.12.0.ebuild +++ /dev/null @@ -1,47 +0,0 @@ -# Copyright 1999-2019 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=6 - -inherit findlib - -DESCRIPTION="Syntax for cross-language type definitions" -HOMEPAGE="https://github.com/mjambon/atd" -SRC_URI="https://github.com/mjambon/atd/archive/v${PV}.tar.gz -> ${P}.tar.gz" - -LICENSE="BSD" -SLOT="0/${PV}" -KEYWORDS="~amd64" -IUSE="+ocamlopt test" -RESTRICT="!test? ( test )" - -DEPEND=" - dev-lang/ocaml:=[ocamlopt?] - dev-ml/easy-format:=[ocamlopt?] - dev-ml/menhir:=[ocamlopt?] -" -RDEPEND="${DEPEND}" -DEPEND="${DEPEND} - dev-ml/jbuilder - dev-ml/opam - test? ( - dev-ml/biniou - dev-ml/yojson - ) -" - -src_compile() { - jbuilder build -p atd || die -} - -oinstall() { - opam-installer -i \ - --prefix="${ED}/usr" \ - --libdir="${D}/$(ocamlc -where)" \ - --docdir="${ED}/usr/share/doc/${PF}" \ - ${1}.install || die -} - -src_install() { - oinstall atd -} diff --git a/dev-ml/atd/atd-1.2.0.ebuild b/dev-ml/atd/atd-1.2.0.ebuild deleted file mode 100644 index 8f343658f391..000000000000 --- a/dev-ml/atd/atd-1.2.0.ebuild +++ /dev/null @@ -1,33 +0,0 @@ -# Copyright 1999-2017 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -EAPI=6 - -inherit findlib - -DESCRIPTION="Syntax for cross-language type definitions" -HOMEPAGE="https://github.com/mjambon/atd" -SRC_URI="https://github.com/mjambon/atd/archive/v${PV}.tar.gz -> ${P}.tar.gz" - -LICENSE="BSD" -SLOT="0/${PV}" -KEYWORDS="~amd64" -IUSE="+ocamlopt" - -DEPEND=" - dev-lang/ocaml:=[ocamlopt?] - dev-ml/easy-format:=[ocamlopt?] - dev-ml/menhir:=[ocamlopt?] -" -RDEPEND="${DEPEND}" - -src_compile() { - emake -j1 all - use ocamlopt && emake opt -} - -src_install() { - dodir /usr/bin - PREFIX="${ED}/usr" findlib_src_install - dodoc README.md -} diff --git a/dev-ml/atd/atd-1.2.1.ebuild b/dev-ml/atd/atd-1.2.1.ebuild deleted file mode 100644 index d57bf461c6d4..000000000000 --- a/dev-ml/atd/atd-1.2.1.ebuild +++ /dev/null @@ -1,34 +0,0 @@ -# Copyright 1999-2017 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -EAPI=6 - -inherit findlib - -DESCRIPTION="Syntax for cross-language type definitions" -HOMEPAGE="https://github.com/mjambon/atd" -SRC_URI="https://github.com/mjambon/atd/archive/v${PV}.tar.gz -> ${P}.tar.gz" - -LICENSE="BSD" -SLOT="0/${PV}" -KEYWORDS="~amd64" -IUSE="+ocamlopt" - -DEPEND=" - dev-lang/ocaml:=[ocamlopt?] - dev-ml/easy-format:=[ocamlopt?] - dev-ml/menhir:=[ocamlopt?] -" -RDEPEND="${DEPEND}" -DEPEND="${DEPEND} - dev-ml/jbuilder - dev-ml/opam -" - -src_install() { - opam-installer -i \ - --prefix="${ED}/usr" \ - --libdir="${D}/$(ocamlc -where)" \ - --docdir="${ED}/usr/share/doc/${PF}" \ - ${PN}.install || die -} diff --git a/dev-ml/atd/metadata.xml b/dev-ml/atd/metadata.xml deleted file mode 100644 index 41a14222f6d5..000000000000 --- a/dev-ml/atd/metadata.xml +++ /dev/null @@ -1,8 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> -<pkgmetadata> - <!-- maintainer-needed --> - <upstream> - <remote-id type="github">mjambon/atd</remote-id> - </upstream> -</pkgmetadata> |