1 files changed, 56 insertions, 0 deletions

diff --git a/lib/extraction/dune b/lib/extraction/dune
new file mode 100644
index 0000000..b56caf9
--- /dev/null
+++ b/lib/extraction/dune
@@ -0,0 +1,56 @@
+(coq.extraction
+ (prelude prelude)
+ (extracted_modules
+  Ascii
+  BinInt
+  Bits
+  Decimal
+  prelude
+  gmap
+  Nat
+  PeanoNat
+  SpecFloat
+  ZArith_dec
+  base
+  BinNat
+  Bool
+  DecimalString
+  interp
+  numbers
+  pretty
+  Specif
+  Zbool
+  Basics
+  BinNums
+  countable
+  list0
+  operational
+  res
+  String
+  Zpower
+  Binary
+  BinPosDef
+  Datatypes
+  fin_maps
+  List
+  option
+  Round
+  strings
+  BinarySingleNaN
+  BinPos
+  decidable
+  floats
+  mapset
+  orders
+  sorting
+  utils)
+ (flags
+  (-output-directory "."))
+ (theories Flocq stdpp mininix))
+
+(library
+ (name extraction)
+ (flags
+  (:standard -w -33))
+ (instrumentation
+  (backend bisect_ppx)))