diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-11-20 19:02:57 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-11-20 19:02:57 +0000 |
| commit | 92f98ae772a60a2fa63efbda2f915da957a3b3b8 (patch) | |
| tree | d30c4d95fdf2a9a61683de537f00ec566eef5a18 /dev-ml/dune | |
| parent | 65c1a6f8d7210639cbdc1565ccee4758f45dfc45 (diff) | |
gentoo auto-resync : 20:11:2022 - 19:02:57
Diffstat (limited to 'dev-ml/dune')
| -rw-r--r-- | dev-ml/dune/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/dune/dune-3.0.3-r1.ebuild | 7 |
2 files changed, 4 insertions, 5 deletions
diff --git a/dev-ml/dune/Manifest b/dev-ml/dune/Manifest index 2ef1b24c26a3..a42cc547b33a 100644 --- a/dev-ml/dune/Manifest +++ b/dev-ml/dune/Manifest @@ -6,5 +6,5 @@ DIST dune-3.0.3.tar.gz 1725788 BLAKE2B 2de93c085f642c8381642a08b18bc21ad48097f32 EBUILD dune-2.8.4.ebuild 925 BLAKE2B aaf039c23fdec35db8eafa1362e05e0a0007b4d5a59483726cffdd4c3f2738ab53cae26451001fa051fe46444f29d08ffd3e22233acaa3280db2c761822c1295 SHA512 175a4b03a248ade24a4a0fc232d13364f5332f9cd686056710dd1fce04b27ac59d81b3844ef1476867f3c5f646167dc40ada4609afc5594ac721ca5f216670a7 EBUILD dune-2.9.1.ebuild 904 BLAKE2B f98314d3cd1daa6fd08610daee2695a30b4c751bc1d060aad8b99b8e3e138fbe9751a92b5df3e1d1f62a8235b509ed884c75f2e11673d8a8a3cb50ddc414bdd2 SHA512 10a59aa34098669ca0d6d6a568cc63d124fd174850bb66591e9798b452629cc7647d6204050a4fbda2db394782c17590155467d798783018ff1205cde4b92e0e EBUILD dune-2.9.3-r3.ebuild 1268 BLAKE2B b1a9b83a1a02159c5c48c2025c0819bbb725529b78d26fbc34953e75762edf1c0dd95954fd9046d1d76fdd8a65430ac90909c2d6994ee608db304bdd27da1ad7 SHA512 fbae16298c1bfd19ab66722cf122745065817a08839deaf408bdd734b4870f0934bf5c977a844f5dc123a4173e51fec769d59cc3c857757d8857746ce5bea3ad -EBUILD dune-3.0.3-r1.ebuild 1520 BLAKE2B 103f150281a6bef999259459f312c0c0c51e49322637c0bf30eb5447ab0a656143988dca456836b3d5a4e5b67ca098c5c1dd58273709432ff5a97980f3bbdec9 SHA512 0db1f7974e20798db29ca56448d5f51132787135e8073e3abccb8421dc870d77f6b6b07b150cc9647e257d8b8c943e81b25637380a26b31a936160b65d2bfc9c +EBUILD dune-3.0.3-r1.ebuild 1519 BLAKE2B 73794b43fe622a63df00e38fb732d391ac8f8f062dc065e8df859b2f403d3beb65fd0c1ec2e99ba9cda22600f8120c846b3551dad6af33ea1ce462fd02a15d35 SHA512 ad686f9a6af18fa26bd49c1e3b7e03c48cbadb07ec45fba560b713677b6101dfd76003575911a7ec0c7585b284ca9e53127399367e010b9ad811d0c5e928d28c MISC metadata.xml 413 BLAKE2B 68bcbe6d091780d3ea48707a42b402cfcc075b1ca0c58a8e145bc8ae6e89806361325f772e9e8b05484fc258f09e33c18fa329a494881e3275f534c65b283c15 SHA512 6520ccff6f2071125a07d0e6bc365c8a919ff32791af97fc633ef68b351de8295454884126334e182da7233744d489acfeb2519c3935990ad21eb20da3f5a1f9 diff --git a/dev-ml/dune/dune-3.0.3-r1.ebuild b/dev-ml/dune/dune-3.0.3-r1.ebuild index 34a23dd6020a..4021856b5e95 100644 --- a/dev-ml/dune/dune-3.0.3-r1.ebuild +++ b/dev-ml/dune/dune-3.0.3-r1.ebuild @@ -43,8 +43,7 @@ src_configure() { src_compile() { ocaml bootstrap.ml -j $(makeopts_jobs) || die - ./dune.exe build -p "${PN}" --profile dune-bootstrap \ - -j $(makeopts_jobs) \ + ./dune.exe build -p "${PN}" --profile dune-bootstrap -j $(makeopts_jobs) \ --display short || die use emacs && elisp-compile editor-integration/emacs/*.el @@ -56,8 +55,8 @@ src_install() { || die dodir /usr/share/doc - mv "${D}"/usr/doc/dune "${D}"/usr/share/doc/${PF} || die - rmdir "${D}"/usr/doc || die + mv "${ED}"/usr/doc/dune "${ED}"/usr/share/doc/${PF} || die + rmdir "${ED}"/usr/doc || die if use emacs ; then elisp-install ${PN} editor-integration/emacs/*.el{,c} |