diff options
Diffstat (limited to 'dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild')
-rw-r--r-- | dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild b/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild index 4a923db8275d..2ec6b114e829 100644 --- a/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild +++ b/dev-ml/ppx_tools/ppx_tools-5.0.4.05.0.ebuild @@ -13,14 +13,14 @@ SRC_URI="https://github.com/alainfrisch/ppx_tools/archive/${MY_PV}.tar.gz -> ${P LICENSE="MIT" SLOT="0/${PV}" KEYWORDS="~amd64 ~arm ~arm64 ~ppc" -IUSE="" +IUSE="+ocamlopt" -DEPEND=">=dev-lang/ocaml-4.05_beta:=" +DEPEND=">=dev-lang/ocaml-4.05_beta:=[ocamlopt?]" RDEPEND="${DEPEND}" S="${WORKDIR}/${PN}-$(replace_version_separator 2 '-')" src_compile() { - emake -j1 + emake -j1 $(usex ocamlopt "" "ARCH=none") } src_install() { |