From 6d544338f10e22c227c8384ec731aef22ed72785 Mon Sep 17 00:00:00 2001
From: Pierrot <pierre.villemot@ocamlpro.com>
Date: Wed, 28 Aug 2024 17:18:15 +0200
Subject: [PATCH] Wrap the library Alt_ergo_prelude (#1223)

Unwrapped this library was a big mistake, mea maxima culpa.
When I added this prelude, I did know how to use `-open` with a
wrapped library.

I couldn't compile smtml with `alt-ergo-lib` because the library of
smtml depends on a module Prelude from another library.
---
 src/{prelude.ml => alt_ergo_prelude.ml} | 0
 src/dune                                | 3 +--
 src/lib/dune                            | 2 +-
 3 files changed, 2 insertions(+), 3 deletions(-)
 rename src/{prelude.ml => alt_ergo_prelude.ml} (100%)

diff --git a/src/prelude.ml b/src/alt_ergo_prelude.ml
similarity index 100%
rename from src/prelude.ml
rename to src/alt_ergo_prelude.ml
diff --git a/src/dune b/src/dune
index 250bda13c..88b2286b6 100644
--- a/src/dune
+++ b/src/dune
@@ -17,6 +17,5 @@
 (library
  (name alt_ergo_prelude)
  (package alt-ergo-lib)
- (wrapped false)
- (modules prelude)
+ (modules alt_ergo_prelude)
 )
diff --git a/src/lib/dune b/src/lib/dune
index 2d7f7575e..c67fb0a69 100644
--- a/src/lib/dune
+++ b/src/lib/dune
@@ -7,7 +7,7 @@
 (library
   (name AltErgoLib)
   (public_name alt-ergo-lib)
-  (ocamlopt_flags (:standard -open Prelude))
+  (flags (:standard -open Alt_ergo_prelude))
   ; external dependencies
   (libraries
     seq