dev-ml/llvm-ocaml: Remove unused WITH_POLLY
authorMichał Górny <mgorny@gentoo.org>
Fri, 14 Feb 2020 07:49:40 +0000 (08:49 +0100)
committerMichał Górny <mgorny@gentoo.org>
Fri, 14 Feb 2020 07:51:22 +0000 (08:51 +0100)
commit4147165b22af5eb05ab3e0a40bf731c08d14b96b
treef816091044103e5bbba9c0eac04c442fa02011af
parent3974484a2cbcec668e5de9642fbc0e8d106597dd
dev-ml/llvm-ocaml: Remove unused WITH_POLLY

Signed-off-by: Michał Górny <mgorny@gentoo.org>
dev-ml/llvm-ocaml/llvm-ocaml-10.0.0.9999.ebuild
dev-ml/llvm-ocaml/llvm-ocaml-10.0.0_rc2.ebuild
dev-ml/llvm-ocaml/llvm-ocaml-11.0.0.9999.ebuild