Merge pull request #3333 from SkySkimmer/fix-stdlib

Fix rocq-stdlib.dev (forgot to install)
coq · Feb 5, 2025 · 9477deb · 9477deb
2 parents 1cde0a5 + 532d6ac
commit 9477deb
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/core-dev/packages/rocq-stdlib/rocq-stdlib.dev/opam b/core-dev/packages/rocq-stdlib/rocq-stdlib.dev/opam
@@ -39,6 +39,7 @@ build: [
   [ "rocq" "makefile" "-f" "_CoqProject" "-o" "Makefile" ]
   [ make "-j%{jobs}%" ]
 ]
+install: [ make "install" ]
 
 url {
   src: "git+https://github.com/coq/stdlib.git#master"