diff options
Diffstat (limited to 'dev-ml/ppx_pipebang/ppx_pipebang-113.33.00.ebuild')
| -rw-r--r-- | dev-ml/ppx_pipebang/ppx_pipebang-113.33.00.ebuild | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/dev-ml/ppx_pipebang/ppx_pipebang-113.33.00.ebuild b/dev-ml/ppx_pipebang/ppx_pipebang-113.33.00.ebuild index ae35794117cb..867ca54721e0 100644 --- a/dev-ml/ppx_pipebang/ppx_pipebang-113.33.00.ebuild +++ b/dev-ml/ppx_pipebang/ppx_pipebang-113.33.00.ebuild @@ -22,6 +22,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 |