From 163181c46b4cc91a300fc7e28ea8d9fda45bd9c0 Mon Sep 17 00:00:00 2001 From: Emilio Jesus Gallego Arias Date: Fri, 5 Apr 2024 02:53:10 +0200 Subject: [PATCH] [serlib] Support `micromega_core` plugin --- CHANGES.md | 7 ++++--- serlib/plugins/micromega_core/dune | 6 ++++++ 2 files changed, 10 insertions(+), 3 deletions(-) create mode 100644 serlib/plugins/micromega_core/dune diff --git a/CHANGES.md b/CHANGES.md index ab05421a..7d47d396 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -2,9 +2,10 @@ - [test] Don't require math-comp to run genarg tests (@ejgallego, #399 , fixes #395 , thanks to @SnarkBoojum for the report) - - [serlib] Fix (@ejgallego, #398, fixes #397 fixes sr-lab/coqpyt#35 , - thanks to @laetitia-teo and @Nfsaavedra for the bug - report) + - [serlib] Fix CPrimitives Serialization (@ejgallego, #398, fixes + #397 fixes sr-lab/coqpyt#35 , thanks to @laetitia-teo and + @Nfsaavedra for the bug report) + - [serlib] Support `micromega_core` plugin (@ejgallego) ## Version 0.19.1 diff --git a/serlib/plugins/micromega_core/dune b/serlib/plugins/micromega_core/dune new file mode 100644 index 00000000..deae7af9 --- /dev/null +++ b/serlib/plugins/micromega_core/dune @@ -0,0 +1,6 @@ +(library + (name serlib_micromega_core) + (public_name coq-serapi.serlib.micromega_core) + (synopsis "Serialization Library for Coq Micromega_core Plugin") + (preprocess (staged_pps ppx_import ppx_sexp_conv ppx_deriving_yojson ppx_hash ppx_compare)) + (libraries coq-core.plugins.micromega_core serlib sexplib))