Dune: increase version. include subdirs

This could fix the CI build. Fingers crossed.
coq-community · Sep 16, 2023 · 12dd48f · 12dd48f
1 parent 4f34792
commit 12dd48f
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 2 deletions.
diff --git a/dune-project b/dune-project
@@ -1,3 +1,3 @@
-(lang dune 2.5)
-(using coq 0.2)
+(lang dune 3.9)
+(using coq 0.8)
 (name topology)
diff --git a/theories/Topology/dune b/theories/Topology/dune
@@ -2,6 +2,9 @@
  (name Topology)
  (package coq-topology)
  (synopsis "General topology in Coq")
+ (theories ZornsLemma)
  (flags (:standard
      -w -deprecated-hint-rewrite-without-locality
      -w -deprecated-instance-without-locality)))
+
+(include_subdirs qualified)
diff --git a/theories/ZornsLemma/dune b/theories/ZornsLemma/dune
@@ -5,3 +5,5 @@
  (flags (:standard
      -w -deprecated-hint-rewrite-without-locality
      -w -deprecated-instance-without-locality)))
+
+(include_subdirs qualified)