Export tlapm_lib for for other projects.

Signed-off-by: Karolis Petrauskas <[email protected]>
tlaplus · Sep 15, 2024 · da6ad30 · da6ad30
1 parent 53c9b78
commit da6ad30
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/src/dune b/src/dune
@@ -13,6 +13,7 @@
 
 (library
  (name tlapm_lib)
+ (public_name tlapm)
  (modules
   (:standard \ tlapm test_schedule why3_interface abstractor))
  (libraries

diff --git a/src/tlapm_lib.mli b/src/tlapm_lib.mli
@@ -1,5 +1,9 @@
 (*
  * Copyright (C) 2008-2010  INRIA and Microsoft Corporation
+ *
+ * WARNING: While this library is exposed for other projects, its interface
+ * is considered experimentai and not stable. It can change in uncompatible
+ * ways in the future.
  *)
 
 module Module = Module