bump to dune 3.13

Signed-off-by: Ali Caglayan <[email protected]>

<!-- ps-id: d0c60b0f-4aee-46ac-8e2d-3e5f52288b3c -->

Author: Alizter

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))

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}
 ]

dune

@@ -62,3 +62,25 @@
    (glob_files_rec contrib/*.v)))
  (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))))

dune-project

@@ -1,4 +1,4 @@
-(lang dune 3.8)
+(lang dune 3.13)
 
 (using coq 0.8)
 

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)
 

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))