diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-02-02 01:39:05 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-02-02 01:39:05 +0000 |
| commit | fcc5224904648a8e6eb528d7603154160a20022f (patch) | |
| tree | 3bfce096b38a9cea8eed13fc70c1526c456e9abd /dev-ml/reason | |
| parent | 2fd57282f0262ca084e05b0f2c63fbada395d02b (diff) | |
gentoo resync : 02.02.2022
Diffstat (limited to 'dev-ml/reason')
| -rw-r--r-- | dev-ml/reason/Manifest | 4 | ||||
| -rw-r--r-- | dev-ml/reason/metadata.xml | 2 | ||||
| -rw-r--r-- | dev-ml/reason/reason-3.7.0-r2.ebuild (renamed from dev-ml/reason/reason-3.7.0-r1.ebuild) | 18 |
3 files changed, 15 insertions, 9 deletions
diff --git a/dev-ml/reason/Manifest b/dev-ml/reason/Manifest index abbde7d57787..b5cdc1b6fcb6 100644 --- a/dev-ml/reason/Manifest +++ b/dev-ml/reason/Manifest @@ -1,3 +1,3 @@ DIST reason-3.7.0.tgz 1188558 BLAKE2B e5d9cebf98f95824b78d440fa9f91460eae1a1ed44a38e74be4f9404a0bdec046578d25febdf55c266466bffc16b4449e982f157b6d5aabfa1d507fdc3eb5aaf SHA512 263059970c88e105f09e8e47b3967add11fda31a79942f573c90a0ccb04149a5baaf3c3bbd1dd5a085ccdd3e63505f84855dd0fb888d34a9e9eda3248f300e24 -EBUILD reason-3.7.0-r1.ebuild 636 BLAKE2B 25d52a46afe573ecf766f65266946ca1bdd31de020bd430d0f796f3fda702c39c7c13750db9d19ff76c345908a2502a3069a75b483069bfdbe29dd9da28b7a24 SHA512 95d96c88df44e4a0ed0b9c5deb9b2872211c905b0b94bd9a7053d338c091ee087f07f9355e7f9e0f95ab0a440ce6091b4ec9d174019afa3a388a81596c329bd2 -MISC metadata.xml 582 BLAKE2B a339a232ca259236ae8583cacc17e45b262d7553156d0c7583cf1ca2ad94c73ebc3c20f0d806f29f1de2d064ad08f28d61cfce49fba70498084ffe4b017defdd SHA512 cfb0605806b04afa3b701c24ffa8e3177646b8d7999f8abc4530dce3f7f9ae99c8abeccf67a0089b8293660298421ce89ff8e1dad4f300c53ae6d259f9dd62e4 +EBUILD reason-3.7.0-r2.ebuild 829 BLAKE2B d4b7c99cd53e9ffbd86f01fef063d6f2182716a331537cdd3148f27642d09c6e8f146c62260619ad7b71b4c9d1125be9e222cc4f8d2770fdbe0c0994ea670e5a SHA512 3b9f48ffbba38a852de261b5bf3e397c5db300d3cace9d6156e0307a4e21f0fdeb5b2a348b0a8643bcf2836193be4023c1f38a24e9312f42f6232b5a478f116a +MISC metadata.xml 583 BLAKE2B f5c1da34708a350aea239b28e65a07903409ca72d4fb530dc6192a820c27fa2da8f2a0fdc2f5716d4ea98b7501e963a904b7299e6f3118e92b3418afa6ae1d6b SHA512 cfcd0f1819698d0563f0b7885d8f7173554c5af1cebcd541b82c304e06806a5b8682cc8f3daf40212cd28f994ec06b6a342bd79c0c90c6726bc7bf853e3883ce diff --git a/dev-ml/reason/metadata.xml b/dev-ml/reason/metadata.xml index 4fc59b478a35..a64ab38bbb7e 100644 --- a/dev-ml/reason/metadata.xml +++ b/dev-ml/reason/metadata.xml @@ -1,5 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> <maintainer type="project"> diff --git a/dev-ml/reason/reason-3.7.0-r1.ebuild b/dev-ml/reason/reason-3.7.0-r2.ebuild index c5b7bcec869d..4836114dfded 100644 --- a/dev-ml/reason/reason-3.7.0-r1.ebuild +++ b/dev-ml/reason/reason-3.7.0-r2.ebuild @@ -1,7 +1,7 @@ -# Copyright 1999-2021 Gentoo Authors +# Copyright 1999-2022 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 -EAPI=7 +EAPI=8 inherit dune @@ -16,6 +16,7 @@ KEYWORDS="~amd64" IUSE="+ocamlopt" RDEPEND=" + <dev-lang/ocaml-4.13.0:=[ocamlopt?] dev-ml/fix:= dev-ml/menhir:= dev-ml/merlin-extend:= @@ -25,9 +26,14 @@ RDEPEND=" " DEPEND="${RDEPEND}" -src_install() { - dune_src_install reason - dune_src_install rtop +DOCS=( + CODE_OF_CONDUCT.md HISTORY.md ORIGINS.md PLAN README.md + docs/GETTING_STARTED_CONTRIBUTING.md + docs/TYPE_PARAMETERS_PARSING.md + docs/USING_PARSER_PROGRAMMATICALLY.md +) - dodoc *.md +src_install() { + dune-install reason rtop + einstalldocs } |