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.
OCamlPro · Aug 28, 2024 · 6d54433 · 6d54433
1 parent 8728bf7
commit 6d54433
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 3 deletions.
diff --git a/src/prelude.ml → src/alt_ergo_prelude.ml b/src/prelude.ml → src/alt_ergo_prelude.ml
diff --git 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
@@ -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