diff options
| author |   Sam James <sam@gentoo.org> | 2021-01-27 06:03:04 +0000 |
|---|---|---|
| committer | Sam James <sam@gentoo.org> | 2021-01-27 06:03:04 +0000 |
| commit | 1512dcab8bb9e30ecae0fdd2ceb466d34d3d0ef9 (patch) | |
| tree | 2f5791390c138461131c740820c9d1c148794373 /dev-ml/dune-configurator | |
| parent | licenses: cleanup obsolete 'nauty' licence (diff) | |
| download | gentoo-1512dcab8bb9e30ecae0fdd2ceb466d34d3d0ef9.tar.gz gentoo-1512dcab8bb9e30ecae0fdd2ceb466d34d3d0ef9.tar.bz2 gentoo-1512dcab8bb9e30ecae0fdd2ceb466d34d3d0ef9.zip | |
dev-ml/dune-configurator: enforce ocamlopt=
Package-Manager: Portage-3.0.14, Repoman-3.0.2
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ml/dune-configurator')
| -rw-r--r-- | dev-ml/dune-configurator/dune-configurator-2.8.2-r1.ebuild (renamed from dev-ml/dune-configurator/dune-configurator-2.8.2.ebuild) | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/dev-ml/dune-configurator/dune-configurator-2.8.2.ebuild b/dev-ml/dune-configurator/dune-configurator-2.8.2-r1.ebuild index 75ad0d7b28da..e4ecc8f0551c 100644 --- a/dev-ml/dune-configurator/dune-configurator-2.8.2.ebuild +++ b/dev-ml/dune-configurator/dune-configurator-2.8.2-r1.ebuild @@ -17,9 +17,9 @@ IUSE="+ocamlopt test" RESTRICT="!test? ( test )" DEPEND=" - ~dev-ml/dune-private-libs-${PV}:= - dev-ml/csexp:= - dev-ml/result:= + ~dev-ml/dune-private-libs-${PV}:=[ocamlopt=] + dev-ml/csexp:=[ocamlopt=] + dev-ml/result:=[ocamlopt=] " RDEPEND="${DEPEND}" DEPEND="${DEPEND} |