diff --git a/dev-ml/patience_diff/metadata.xml b/dev-ml/patience_diff/metadata.xml index 65186ef690b96..c87f5360ebd1b 100644 --- a/dev-ml/patience_diff/metadata.xml +++ b/dev-ml/patience_diff/metadata.xml @@ -1,7 +1,10 @@ - + + ml@gentoo.org + ML + janestreet/patience_diff diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild index 67d3bdbbc9518..cd95ca35acf3f 100644 --- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild +++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild @@ -19,3 +19,7 @@ RDEPEND=" dev-ml/core_kernel:= dev-ml/ppx_jane:= " + +src_compile() { + dune build @install --profile release || die +}