From e8aa5b2170e486868cc10acec10209c19ff4c8d7 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Fri, 13 Dec 2024 17:07:08 +0100
Subject: [PATCH] [core-dev] coq-stdlib install, take 2

---
 core-dev/packages/coq-stdlib/coq-stdlib.dev/opam | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/core-dev/packages/coq-stdlib/coq-stdlib.dev/opam b/core-dev/packages/coq-stdlib/coq-stdlib.dev/opam
index 9713f59d0..58a8c5c13 100644
--- a/core-dev/packages/coq-stdlib/coq-stdlib.dev/opam
+++ b/core-dev/packages/coq-stdlib/coq-stdlib.dev/opam
@@ -42,7 +42,9 @@ build: [
     "@runtest" {with-test}
     "@doc" {with-doc}
   ]
-  ["dune" "install" name]
+]
+install: [
+  ["dune" "install" "-p" name "--create-install-files" name]
   ["sh" "-c" "echo 'From Stdlib Require Import Reals.' > test.v && coqc test.v"] {with-test}
 ]