[serlib] Support btauto Coq plugin

rocq-archive · Feb 15, 2024 · 3e0e91b · 3e0e91b
1 parent d09a927
commit 3e0e91b
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,5 +1,7 @@
 ## unreleased
 
+ - [serlib] Support `btauto` Coq plugin (@ejgallego, #362)
+
 ## Version 0.19.0
 
  - [serapi] (!) support for Coq 8.19, thanks to all the developers

diff --git a/serlib/plugins/btauto/dune b/serlib/plugins/btauto/dune
@@ -0,0 +1,6 @@
+(library
+ (name serlib_btauto)
+ (public_name coq-serapi.serlib.btauto)
+ (synopsis "Serialization Library for Coq BTauto Plugin")
+ (preprocess (staged_pps ppx_import ppx_sexp_conv ppx_deriving_yojson ppx_hash ppx_compare))
+ (libraries coq-core.plugins.btauto serlib sexplib))