Fix

math-comp · Nov 28, 2023 · 2712d8c · 2712d8c
1 parent daaeeba
commit 2712d8c
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 20 deletions.
diff --git a/src/dune b/src/dune
diff --git a/src/dune.in b/src/dune.in
@@ -2,7 +2,16 @@
  (name mathcomp.multinomials)
  ;coq-native-disabled; (mode native)
  (package coq-mathcomp-multinomials)
- (flags -w -ambiguous-paths
-        -w -notation-overridden
-        -w -redundant-canonical-projection
-        -w -projection-no-head-constant))
+ (flags
+  -w -ambiguous-paths
+  -w -notation-overridden
+  -w -redundant-canonical-projection
+  -w -projection-no-head-constant)
+ (theories
+  elpi
+  HB
+  mathcomp.ssreflect
+  mathcomp.fingroup
+  mathcomp.algebra
+  mathcomp.bigenough
+  mathcomp.finmap))