[misc] [ci] [windows] Some more nits form Rocq / Coq migration

Author: ejgallego

.github/workflows/build.yml

@@ -69,7 +69,11 @@ jobs:
 
       - name: 🐛 Special Windows Config [only on Win CI]
         if: matrix.os == 'windows-latest'
-        run: opam exec -- make winconfig
+        run: |
+          # Waiting on ocamlfind 1.9.8
+          # c.f. https://github.com/ocaml/opam-repository/pull/27253
+          opam pin add --dev ocamlfind
+          opam exec -- make winconfig
 
       - name: 🧱 Build coq-lsp
         run: opam exec -- make build

Makefile

@@ -147,7 +147,8 @@ make-fmt: build fmt
 .PHONY: opam-update-and-reinstall
 opam-update-and-reinstall:
 	git pull --recurse-submodules
-	for pkg in rocq-runtime coq-core rocq-core stdlib/coq-stdlib coqide-server coq; do opam install -y vendor/coq/$$pkg.opam; done
+	for pkg in rocq-runtime coq-core rocq-core coqide-server rocq coq; do opam install -y vendor/coq/$$pkg.opam; done
+	for pkg in rocq-stdlib coq-stdlib; do opam install -y vendor/coq-stdlib/$$pkg.opam; done
 	opam install .
 
 .PHONY: patch-for-js

coq/workspace.ml

@@ -172,7 +172,7 @@ let make ~cmdline ~implicit ~kind ~debug =
   in
   let require_libs =
     let rq_list =
-      if init then ((None, "Stdlib.Init.Prelude") :: require_libraries) @ libs
+      if init then ((None, "Corelib.Init.Prelude") :: require_libraries) @ libs
       else require_libraries @ libs
     in
     List.map mk_require_from rq_list