diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2019-12-15 18:09:03 +0000 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2019-12-15 18:09:03 +0000 |
commit | 7bc9c63c9da678a7e6fceb095d56c634afd22c56 (patch) | |
tree | 4a67d50a439e9af63947e5f8b6ba3719af98b6c9 /dev-lang/mlton/mlton-20130715.ebuild | |
parent | b284a3168fa91a038925d2ecf5e4791011ea5e7d (diff) |
gentoo resync : 15.12.2019
Diffstat (limited to 'dev-lang/mlton/mlton-20130715.ebuild')
-rw-r--r-- | dev-lang/mlton/mlton-20130715.ebuild | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/dev-lang/mlton/mlton-20130715.ebuild b/dev-lang/mlton/mlton-20130715.ebuild index a306bfabb1c3..1e3533a37670 100644 --- a/dev-lang/mlton/mlton-20130715.ebuild +++ b/dev-lang/mlton/mlton-20130715.ebuild @@ -79,15 +79,15 @@ src_compile() { sed -i 's@^MAN_PREFIX_EXTRA :=.*@MAN_PREFIX_EXTRA := /share@' \ Makefile || die 'sed Makefile failed' - emake -j1 dirs runtime compiler CFLAGS="${CFLAGS}" || die + emake -j1 dirs runtime compiler CFLAGS="${CFLAGS}" pax-mark m "${S}/mlton/mlton-compile" pax-mark m "${S}/build/lib/mlton-compile" # Does not support parallel make - emake -j1 all-no-docs CFLAGS="${CFLAGS}" || die + emake -j1 all-no-docs CFLAGS="${CFLAGS}" if use doc; then export VARTEXFONTS="${T}/fonts" - emake docs || die "failed to create documentation" + emake docs fi fi } @@ -101,8 +101,8 @@ src_install() { pax-mark m "${S}/usr/bin/mlyacc" mv "${S}/usr" "${D}" || die "mv failed" else - emake DESTDIR="${D}" install-no-docs || die - if use doc; then emake DESTDIR="${D}" TDOC="${D}"/usr/share/doc/${P} install-docs || die; fi + emake DESTDIR="${D}" install-no-docs + use doc && emake DESTDIR="${D}" TDOC="${D}"/usr/share/doc/${P} install-docs fi } |