Merge pull request #3340 from proux01/update-stdlib-dev

[core-dev] Update rocq-stdlib

Author: proux01

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

@@ -21,25 +21,16 @@ homepage: "https://coq.inria.fr/"
 doc: "https://coq.github.io/doc/"
 bug-reports: "https://github.com/coq/stdlib/issues"
 depends: [
-  "dune" {>= "3.8"}
   "rocq-runtime"
   "rocq-core" {>= "9.0" | = "dev"}
-  "odoc" {with-doc}
 ]
-depopts: ["coq-native"]
 dev-repo: "git+https://github.com/coq/stdlib.git"
 build: [
-  ["dune" "subst"] {dev}
-  [ "find" "theories" "-name" "_*" "-prune" "-exec" "rm" "-rf" "{}" "+" ]
-  # without rocq-wrap dune will complain about missing coqc even though it shouldn't be needed
-  [ "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" ]
-  [ "rocq" "makefile" "-f" "_CoqProject" "-o" "Makefile" ]
-  [ make "-j%{jobs}%" ]
+  [make "-j" jobs]
+]
+install: [
+  [make "install"]
 ]
-install: [ make "install" ]
 
 url {
   src: "git+https://github.com/coq/stdlib.git#master"