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

dev-ml/mirage-profile: fix dep, install correct package

Browse Source 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
This commit is contained in:
Alessandro Barbieri
2022-04-07 16:16:54 +02:00
parent 73e95c591b
commit 5a5e6c24b8
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -30,14 +30,14 @@ RDEPEND="
# )
DEPEND="
${RDEPEND}
unix? ( dev-ml/cstruct[ppx] )
dev-ml/cstruct[ppx]
"
src_compile() {
local pkgs="mirage-profile-unix"
local pkgs="mirage-profile"
# use xen && pkgs="${pkgs},mirage-profile-xen"
use unix && pkgs="${pkgs},mirage-profile-unix"
dune build --only-packages "${pkgs}" -j $(makeopts_jobs) --profile release || die
dune build -p "${pkgs}" -j $(makeopts_jobs) || die
}
src_install() {