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 }