diff options
| -rw-r--r-- | sci-mathematics/alt-ergo/alt-ergo-2.4.1_p20220407-r1.ebuild (renamed from sci-mathematics/alt-ergo/alt-ergo-2.4.1_p20220407.ebuild) | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.4.1_p20220407.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.4.1_p20220407-r1.ebuild index f76781a05972..99700c400f68 100644 --- a/sci-mathematics/alt-ergo/alt-ergo-2.4.1_p20220407.ebuild +++ b/sci-mathematics/alt-ergo/alt-ergo-2.4.1_p20220407-r1.ebuild @@ -32,6 +32,7 @@ RDEPEND=" " DEPEND="${RDEPEND}" BDEPEND="dev-ml/dune-configurator" +REQUIRED_USE="ocamlopt" src_prepare() { default |