[gentoo-commits] repo/gentoo:master commit in: dev-util/herdtools7/

[Patrick McLean]

commit:     fdbd8bef321b0affd852dfb1cd3d25a96318872d
Author:     Patrick McLean <chutzpah <AT> gentoo <DOT> org>
AuthorDate: Fri Sep 15 17:44:38 2017 +0000
Commit:     Patrick McLean <chutzpah <AT> gentoo <DOT> org>
CommitDate: Fri Sep 15 17:44:57 2017 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fdbd8bef

dev-util/herdtools7: Make sure to die properly if build fails, update ocaml dep

Package-Manager: Portage-2.3.8, Repoman-2.3.3

 dev-util/herdtools7/herdtools7-7.47.ebuild | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/dev-util/herdtools7/herdtools7-7.47.ebuild 
b/dev-util/herdtools7/herdtools7-7.47.ebuild
index f4e8a84c5b0..fbd02aff8ec 100644
--- a/dev-util/herdtools7/herdtools7-7.47.ebuild
+++ b/dev-util/herdtools7/herdtools7-7.47.ebuild
@@ -15,16 +15,16 @@ KEYWORDS="~amd64 ~x86"
 IUSE=""
 
 DEPEND="dev-ml/ocamlbuild"
-RDEPEND=">=dev-lang/ocaml-4.01.0"
+RDEPEND=">=dev-lang/ocaml-4.02.0"
 
 PATCHES=(
        "${FILESDIR}/${P}-mkdir.patch"
 )
 
 src_compile() {
-       ./build.sh /usr
+       ./build.sh /usr || die "Build failed"
 }
 
 src_install() {
-       ./install.sh "${ED}/usr"
+       ./install.sh "${ED}/usr" || die "Install failed"
 }