[vendor] Bump Coq and Stdlib for recent changes

ejgallego · Feb 3, 2025 · ddae589 · ddae589
1 parent edf9a9e
commit ddae589
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -169,7 +169,7 @@ jobs:
         run: |
           opam install lwt logs # Also build pet-server
           opam install memprof-limits # We need to do this to avoid coq-lsp rebuilding Coq below due to deptops
-          opam install vendor/coq/{rocq-runtime,coq-core,rocq-core,coqide-server,rocq,coq}.opam vendor/coq-stdlib/{rocq,coq}-stdlib.opam
+          opam install vendor/coq/{rocq-runtime,coq-core,rocq-core,coqide-server,rocq-prover,coq}.opam vendor/coq-stdlib/{rocq,coq}-stdlib.opam
 
       - name: Install `coq-lsp` into OPAM switch
         run: opam install .

diff --git a/Makefile b/Makefile
@@ -147,7 +147,7 @@ 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 coqide-server rocq coq; do opam install -y vendor/coq/$$pkg.opam; done
+	for pkg in rocq-runtime coq-core rocq-core coqide-server rocq-prover 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 .
 

diff --git a/vendor/coq b/vendor/coq
diff --git a/vendor/coq-stdlib b/vendor/coq-stdlib