Fix

math-comp · Nov 28, 2023 · c344d24 · c344d24
1 parent 116ed10
commit c344d24
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 17 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,3 +1,4 @@
 /attic/
 /_build/
+/src/dune
 *~
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))