Merge pull request #3252 from proux01/stdlib_install_take2

[core-dev] coq-stdlib install, take 2
coq · Dec 13, 2024 · 2915aa6 · 2915aa6
2 parents f5817fd + f5d2ba9
commit 2915aa6
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/core-dev/packages/coq-stdlib/coq-stdlib.dev/opam b/core-dev/packages/coq-stdlib/coq-stdlib.dev/opam
@@ -42,8 +42,6 @@ build: [
     "@runtest" {with-test}
     "@doc" {with-doc}
   ]
-  ["dune" "install" name]
-  ["sh" "-c" "echo 'From Stdlib Require Import Reals.' > test.v && coqc test.v"] {with-test}
 ]
 
 url {