summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2021-10-01 21:00:55 +0200
committerAlfredo Tupone <tupone@gentoo.org>2021-10-01 21:00:55 +0200
commit5f25458fdc27eaad996a539a9c55231f958cf7b2 (patch)
treece2e7d1081ff6b6d25e73200ee12c23b4292d001 /dev-ml/opam-state
parentdev-ml/opam-solver: build with ocaml-4.12 (diff)
downloadgentoo-5f25458fdc27eaad996a539a9c55231f958cf7b2.tar.gz
gentoo-5f25458fdc27eaad996a539a9c55231f958cf7b2.tar.bz2
gentoo-5f25458fdc27eaad996a539a9c55231f958cf7b2.zip
dev-ml/opam-state: build with ocaml-4.12
Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/opam-state')
-rw-r--r--dev-ml/opam-state/opam-state-2.0.8-r1.ebuild4
-rw-r--r--dev-ml/opam-state/opam-state-2.0.8.ebuild1
-rw-r--r--dev-ml/opam-state/opam-state-2.0.9.ebuild4
3 files changed, 9 insertions, 0 deletions
diff --git a/dev-ml/opam-state/opam-state-2.0.8-r1.ebuild b/dev-ml/opam-state/opam-state-2.0.8-r1.ebuild
index cf9ab72c819e..cde1ebca6cb4 100644
--- a/dev-ml/opam-state/opam-state-2.0.8-r1.ebuild
+++ b/dev-ml/opam-state/opam-state-2.0.8-r1.ebuild
@@ -36,3 +36,7 @@ src_prepare() {
(flags (:standard -warn-error -3-9-33))))
EOF
}
+
+src_compile() {
+ dune build @install --profile release || die
+}
diff --git a/dev-ml/opam-state/opam-state-2.0.8.ebuild b/dev-ml/opam-state/opam-state-2.0.8.ebuild
index 48e053b3e9cf..9e492c922944 100644
--- a/dev-ml/opam-state/opam-state-2.0.8.ebuild
+++ b/dev-ml/opam-state/opam-state-2.0.8.ebuild
@@ -17,6 +17,7 @@ IUSE="+ocamlopt"
RESTRICT="test"
RDEPEND="
+ <dev-lang/ocaml-4.12
dev-ml/re:=
dev-ml/opam-file-format:=
~dev-ml/opam-repository-${PV}:=
diff --git a/dev-ml/opam-state/opam-state-2.0.9.ebuild b/dev-ml/opam-state/opam-state-2.0.9.ebuild
index cf9ab72c819e..cde1ebca6cb4 100644
--- a/dev-ml/opam-state/opam-state-2.0.9.ebuild
+++ b/dev-ml/opam-state/opam-state-2.0.9.ebuild
@@ -36,3 +36,7 @@ src_prepare() {
(flags (:standard -warn-error -3-9-33))))
EOF
}
+
+src_compile() {
+ dune build @install --profile release || die
+}