mrrl

commit b8ea186e54fb178bdefe9d99ca70cd65bf2f9463
parent e55ae808cfda8be4fac4ff147bc37e692d473245
Author: Jan Pobrislo <ccx@te2000.cz>
Date:   Sun, 26 Oct 2025 23:40:29 +0000

ocaml packages

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

5 files changed, 13 insertions(+), 7 deletions(-)
diff --git a/templates/pkg/opam b/templates/pkg/opam
@@ -25,7 +25,9 @@
 	--localstatedir='{{var_dir}}' \
 	--with-dune='{{pkg_install_dir("dune")}}/command/dune' \
 	--with-mccs \
-	--with-vendored-deps
+	--with-vendored-deps \
+	--enable-static \
+	--disable-shared
 
 {% endblock configure %}
 {% block check -%}
diff --git a/variants/ccx-x86_64/opam b/variants/ccx-x86_64/opam
@@ -45,7 +45,9 @@ cd 'opam-full-2.4.1'
 	--localstatedir='/var/pthbs' \
 	--with-dune='/home/ccx/versions/dune.0bf1fa603f0e8ae0f1b4fd7e28d8be34f035e643e5594e0a380ce13485b06a6c/command/dune' \
 	--with-mccs \
-	--with-vendored-deps
+	--with-vendored-deps \
+	--enable-static \
+	--disable-shared
 
 
 make -j${JOBS:-1} -l$((1+${JOBS:-1}))
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.ac9f00296ff28809f1745e94e1f10e40feea77098b9322a4007c45ce71b08798-
\ No newline at end of file
+#+opam.78dc585fbbe2f4e3c619625b2a65dc024438ae9bbdaf79dbbe973cb7c7337b22+
\ No newline at end of file
diff --git a/variants/root-x86_64/opam b/variants/root-x86_64/opam
@@ -45,7 +45,9 @@ cd 'opam-full-2.4.1'
 	--localstatedir='/var/pthbs' \
 	--with-dune='/versions/dune.d71d865a1e049f9cb3345d4588f36c028ef41ae48915a57ce510bfe02d623bf8/command/dune' \
 	--with-mccs \
-	--with-vendored-deps
+	--with-vendored-deps \
+	--enable-static \
+	--disable-shared
 
 
 make -j${JOBS:-1} -l$((1+${JOBS:-1}))
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.57eeceeb590899ae2c2f7cc61037904fe05b46fd5b1598de9876f7228673ea92-
\ No newline at end of file
+#+opam.66c964a0971bf85c100fd9a2f5972aab0ec60126cefd13471b1f5db60a8eb685+
\ No newline at end of file