mrrl

commit 010082e3969577c699580e9f32aaa905e5499c14
parent 02f5463f1f4fd3832999a53115c720a4535dbf58
Author: Jan Pobrislo <ccx@te2000.cz>
Date:   Sun, 26 Oct 2025 23:58:27 +0000

ocaml packages

Diffstat:
M
templates/pkg/opam
 | 
3
+++
M
variants/ccx-x86_64/opam
 | 
3
+--
M
variants/ccx-x86_64/wip.environment
 | 
4
++--
M
variants/root-x86_64/opam
 | 
3
+--
M
variants/root-x86_64/wip.environment
 | 
4
++--

5 files changed, 9 insertions(+), 8 deletions(-)
diff --git a/templates/pkg/opam b/templates/pkg/opam
@@ -31,6 +31,9 @@ export DUNE_CACHE=disabled
 	--enable-static
 
 {% endblock configure %}
+{% block build -%}
+make DUNE_ARGS=--verbose
+{% endblock build -%}
 {% block check -%}
 make tests
 check_static command/opam
diff --git a/variants/ccx-x86_64/opam b/variants/ccx-x86_64/opam
@@ -51,8 +51,7 @@ export DUNE_CACHE=disabled
 	--enable-static
 
 
-make -j${JOBS:-1} -l$((1+${JOBS:-1}))
-
+make DUNE_ARGS=--verbose
 make DESTDIR="$pthbs_destdir" install
 
 
diff --git a/variants/ccx-x86_64/wip.environment b/variants/ccx-x86_64/wip.environment
@@ -3,4 +3,4 @@
 #+dune.0bf1fa603f0e8ae0f1b4fd7e28d8be34f035e643e5594e0a380ce13485b06a6c
 #+ocamlbuild.1f92ef06cb109487b573ecdd2059d0b0ab559ec12ac113d9fa88a4372103d884
 #+ocaml-base.15c014249975c989e3c9b2e5379406579f3dbd7cdfa40aac8628865bb57df155
-#+opam.f14c412310b274ab69bcb9295900d2c2dde9e4004abc26223585656c8d210e66-
\ No newline at end of file
+#+opam.d6e1736feed231dccfbdc7355afa7cc1355901b5a72994533bb9a16fa2cef9d4+
\ No newline at end of file
diff --git a/variants/root-x86_64/opam b/variants/root-x86_64/opam
@@ -51,8 +51,7 @@ export DUNE_CACHE=disabled
 	--enable-static
 
 
-make -j${JOBS:-1} -l$((1+${JOBS:-1}))
-
+make DUNE_ARGS=--verbose
 make DESTDIR="$pthbs_destdir" install
 
 
diff --git a/variants/root-x86_64/wip.environment b/variants/root-x86_64/wip.environment
@@ -3,4 +3,4 @@
 #+dune.d71d865a1e049f9cb3345d4588f36c028ef41ae48915a57ce510bfe02d623bf8
 #+ocamlbuild.c3517ef4f01ee9188faf3fc292460b4865e24fed652e1079d153e4bc1345bdfc
 #+ocaml-base.def774f8d6a68e11e8d7e1d3291b67fbd8711662f91cf843e69dd729cb9c566c
-#+opam.10852db11408b0ffbeaff4fd5b40794937f67bd42ec39269e39312b356589366-
\ No newline at end of file
+#+opam.b042b1865590987ebe3eec5db854b43c9c5eb19fdd96d541eb290c659d49505f+
\ No newline at end of file