diff options
Diffstat (limited to 'dev-ml/ppx_fail/ppx_fail-113.33.00.ebuild')
| -rw-r--r-- | dev-ml/ppx_fail/ppx_fail-113.33.00.ebuild | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/dev-ml/ppx_fail/ppx_fail-113.33.00.ebuild b/dev-ml/ppx_fail/ppx_fail-113.33.00.ebuild index e835771ca617..800d18243f5a 100644 --- a/dev-ml/ppx_fail/ppx_fail-113.33.00.ebuild +++ b/dev-ml/ppx_fail/ppx_fail-113.33.00.ebuild @@ -23,6 +23,10 @@ DEPEND="dev-ml/ppx_tools:= RDEPEND="${DEPEND}" DEPEND="${DEPEND} dev-ml/opam" +src_prepare() { + has_version '>=dev-lang/ocaml-4.03' && epatch "${FILESDIR}/oc43.patch" +} + src_configure() { emake setup.exe OASIS_SETUP_COMMAND="./setup.exe" oasis_src_configure |