bump to dune 3.13

Signed-off-by: Ali Caglayan <alizter@gmail.com>
HoTT · Apr 30, 2024 · 83f4cd5 · 83f4cd5
1 parent 67d7f92
commit 83f4cd5
Show file tree

Hide file tree

Showing 6 changed files with 26 additions and 11 deletions.
diff --git a/contrib/dune b/contrib/dune
@@ -1,6 +1,4 @@
 (coq.theory
  (name HoTT.Contrib)
  (package coq-hott)
- (flags -noinit -indices-matter -color on)
- (coqdoc_flags :standard --interpolate --utf8 --no-externals --parse-comments)
  (theories HoTT))
diff --git a/coq-hott.opam b/coq-hott.opam
@@ -16,7 +16,7 @@ license: "BSD-2-Clause"
 homepage: "http://homotopytypetheory.org/"
 bug-reports: "https://github.com/HoTT/HoTT/issues"
 depends: [
-  "dune" {>= "3.8"}
+  "dune" {>= "3.13"}
   "coq" {>= "8.18.0"}
   "odoc" {with-doc}
 ]

diff --git a/dune b/dune
@@ -63,6 +63,28 @@
  (action
   (run etc/emacs/run-etags.sh %{vfile})))
 
+; Common flags for Coq
+
+(env
+ (dev
+  (coq
+   (coqdoc_flags
+    :standard
+    --interpolate
+    --utf8
+    --no-externals
+    --parse-comments)
+   (flags -noinit -indices-matter -color on)))
+ (_
+  (coq
+   (coqdoc_flags
+    :standard
+    --interpolate
+    --utf8
+    --no-externals
+    --parse-comments)
+   (flags -noinit -indices-matter))))
+
 ; Bench
 
 ; The following rule allows you to bench the running time of a file using

diff --git a/dune-project b/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.8)
+(lang dune 3.13)
 
 (using coq 0.8)
 

diff --git a/test/dune b/test/dune
@@ -1,8 +1,6 @@
 (coq.theory
  (name HoTT.Tests)
- (theories HoTT)
- (flags -noinit -indices-matter -color on)
- (coqdoc_flags :standard --interpolate --utf8 --no-externals --parse-comments))
+ (theories HoTT))
 
 (include_subdirs qualified)
 

diff --git a/theories/dune b/theories/dune
@@ -6,7 +6,4 @@
 
 (coq.theory
  (name HoTT)
- (package coq-hott)
- (modules :standard)
- (flags -noinit -indices-matter -color on)
- (coqdoc_flags :standard --interpolate --utf8 --no-externals --parse-comments))
+ (package coq-hott))