mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-10 15:45:15 -04:00
Code Issues Packages Projects Releases Wiki Activity

dev-ml/mirage-profile: fix installation

Browse Source 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
This commit is contained in:
Alessandro Barbieri
2022-04-04 23:04:15 +02:00
parent e08892c2d0
commit e2a03e1c0c
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
dev-ml/mirage-profile/mirage-profile-0.9.1.ebuild
View File

@@ -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
}