mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-01-05 14:07:27 -08:00
dev-ml/patience_diff: build with ocaml-4.12
Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
This commit is contained in:
parent
a6ff9bb296
commit
346abd6e30
@ -1,7 +1,10 @@
|
||||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
|
||||
<pkgmetadata>
|
||||
<!-- maintainer-needed -->
|
||||
<maintainer type="project">
|
||||
<email>ml@gentoo.org</email>
|
||||
<name>ML</name>
|
||||
</maintainer>
|
||||
<upstream>
|
||||
<remote-id type="github">janestreet/patience_diff</remote-id>
|
||||
</upstream>
|
||||
|
||||
@ -19,3 +19,7 @@ RDEPEND="
|
||||
dev-ml/core_kernel:=
|
||||
dev-ml/ppx_jane:=
|
||||
"
|
||||
|
||||
src_compile() {
|
||||
dune build @install --profile release || die
|
||||
}
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user