From e2a03e1c0c2c4ce6130b91d5cc82f386717ccf91 Mon Sep 17 00:00:00 2001 From: Alessandro Barbieri Date: Mon, 4 Apr 2022 23:04:15 +0200 Subject: [PATCH] dev-ml/mirage-profile: fix installation Signed-off-by: Alessandro Barbieri --- dev-ml/mirage-profile/mirage-profile-0.9.1.ebuild | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/dev-ml/mirage-profile/mirage-profile-0.9.1.ebuild b/dev-ml/mirage-profile/mirage-profile-0.9.1.ebuild index b5f8080af1..335b0731a2 100644 --- a/dev-ml/mirage-profile/mirage-profile-0.9.1.ebuild +++ b/dev-ml/mirage-profile/mirage-profile-0.9.1.ebuild @@ -34,6 +34,7 @@ src_compile() { } src_install() { - dune_src_install mirage-profile mirage-profile-unix + dune_src_install mirage-profile + dune_src_install mirage-profile-unix use xen && dune_src_install mirage-profile-xen }