diff options
Diffstat (limited to 'dev-ml/core_bench/core_bench-0.14.0.ebuild')
| -rw-r--r-- | dev-ml/core_bench/core_bench-0.14.0.ebuild | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/dev-ml/core_bench/core_bench-0.14.0.ebuild b/dev-ml/core_bench/core_bench-0.14.0.ebuild index c6b66b01b28d..e181169b6916 100644 --- a/dev-ml/core_bench/core_bench-0.14.0.ebuild +++ b/dev-ml/core_bench/core_bench-0.14.0.ebuild @@ -22,3 +22,7 @@ DEPEND=" >=dev-ml/re-1.8.0:= " RDEPEND="${DEPEND}" + +src_compile() { + dune build @install --profile release || die +} |