Fix rocq-stdlib.dev (forgot to install)

coq · Feb 5, 2025 · 532d6ac · 532d6ac
1 parent 1cde0a5
commit 532d6ac
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"