diff options
| author |   Patrick McLean <chutzpah@gentoo.org> | 2017-09-15 10:44:38 -0700 |
|---|---|---|
| committer | Patrick McLean <chutzpah@gentoo.org> | 2017-09-15 10:44:57 -0700 |
| commit | fdbd8bef321b0affd852dfb1cd3d25a96318872d (patch) | |
| tree | e4a8e039131af03adf192964500e66a6196ee3ee /dev-util/herdtools7 | |
| parent | dev-util/herdtools7: New package, the Herd toolsuite to deal with .cat memory... (diff) | |
| download | gentoo-fdbd8bef321b0affd852dfb1cd3d25a96318872d.tar.gz gentoo-fdbd8bef321b0affd852dfb1cd3d25a96318872d.tar.bz2 gentoo-fdbd8bef321b0affd852dfb1cd3d25a96318872d.zip | |
dev-util/herdtools7: Make sure to die properly if build fails, update ocaml dep
Package-Manager: Portage-2.3.8, Repoman-2.3.3
Diffstat (limited to 'dev-util/herdtools7')
| -rw-r--r-- | dev-util/herdtools7/herdtools7-7.47.ebuild | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/dev-util/herdtools7/herdtools7-7.47.ebuild b/dev-util/herdtools7/herdtools7-7.47.ebuild index f4e8a84c5b07..fbd02aff8ec1 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" } |