Update core-dev/packages/rocq-stdlib/rocq-stdlib.dev/opam

Co-authored-by: Pierre Roux <pierre.roux@onera.fr>
coq · Feb 5, 2025 · 9e91336 · 9e91336
1 parent 823f3d9
commit 9e91336
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/core-dev/packages/rocq-stdlib/rocq-stdlib.dev/opam b/core-dev/packages/rocq-stdlib/rocq-stdlib.dev/opam
@@ -31,7 +31,7 @@ dev-repo: "git+https://github.com/coq/stdlib.git"
 build: [
   ["dune" "subst"] {dev}
   [ "find" "theories" "-name" "_*" "-prune" "-exec" "rm" "-rf" "{}" "+" ]
-  [ "dune" "build" "--root" "." "theories/All.v" ]
+  [ "dev/with-rocq-wrap.sh" "dune" "build" "--root" "." "theories/All.v" ]
   [ "cp" "_build/default/theories/All.v" "theories/All.v" ]
   [ "find" "theories" "-name" "*.v" "-fprint" "_CoqProject" ]
   [ "sh" "-c" "echo '-Q theories Stdlib' >> _CoqProject" ]