summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/batteries/batteries-2.4.0.ebuild')
-rw-r--r--dev-ml/batteries/batteries-2.4.0.ebuild12
1 files changed, 7 insertions, 5 deletions
diff --git a/dev-ml/batteries/batteries-2.4.0.ebuild b/dev-ml/batteries/batteries-2.4.0.ebuild
index 7ea0d79a32fa..b5a7c8f8590b 100644
--- a/dev-ml/batteries/batteries-2.4.0.ebuild
+++ b/dev-ml/batteries/batteries-2.4.0.ebuild
@@ -22,8 +22,10 @@ DEPEND="${RDEPEND}
DOCS=( "ChangeLog" "FAQ" "README.folders" "README.md" )
S="${WORKDIR}/${PN}-included-${PV}"
-PATCHES=(
- "${FILESDIR}/oc43-1.patch"
- "${FILESDIR}/oc43-2.patch"
- "${FILESDIR}/oc43-3.patch"
-)
+
+src_prepare() {
+ has_version '>=dev-lang/ocaml-4.03' && epatch \
+ "${FILESDIR}/oc43-1.patch" \
+ "${FILESDIR}/oc43-2.patch" \
+ "${FILESDIR}/oc43-3.patch"
+}