mirror of
https://github.com/gentoo-mirror/guru.git
synced 2026-07-18 19:43:24 -04:00
dev-ml/*: change dune invocation
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
This commit is contained in:
@@ -131,7 +131,7 @@ src_compile() {
|
||||
use mirage && pkgs="${pkgs},cohttp-mirage"
|
||||
use server-lwt-unix && pkgs="${pkgs},cohttp-server-lwt-unix"
|
||||
use top && pkgs="${pkgs},cohttp-top"
|
||||
dune build --only-packages "${pkgs}" -j $(makeopts_jobs) --profile release || die
|
||||
dune build -p "${pkgs}" -j $(makeopts_jobs) || die
|
||||
}
|
||||
|
||||
src_install() {
|
||||
|
||||
Reference in New Issue
Block a user