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/dune-3.0.3-r1.ebuild | |
parent | 65c1a6f8d7210639cbdc1565ccee4758f45dfc45 (diff) |
gentoo auto-resync : 20:11:2022 - 19:02:57
Diffstat (limited to 'dev-ml/dune/dune-3.0.3-r1.ebuild')
-rw-r--r-- | dev-ml/dune/dune-3.0.3-r1.ebuild | 7 |
1 files changed, 3 insertions, 4 deletions
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} |