[core-dev] Attempt to fix installation of coq-stdlib.dev

proux01 · Dec 9, 2024 · abcf866 · abcf866
1 parent e1cb24f
commit abcf866
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/core-dev/packages/coq-stdlib/coq-stdlib.dev/opam b/core-dev/packages/coq-stdlib/coq-stdlib.dev/opam
@@ -44,6 +44,7 @@ build: [
     "@doc" {with-doc}
   ]
   ["dune" "install" "-p" name "--create-install-files" name]
+  ["sh" "-c" "echo 'From Stdlib Require Import Reals.' > test.v && coqc test.v"] {with-test}
 ]
 
 url {