Add a configuration for building with dune

UniMath · Aug 17, 2024 · 3c0f974 · 3c0f974
1 parent 40ffe12
commit 3c0f974
Show file tree

Hide file tree

Showing 6 changed files with 58 additions and 0 deletions.
diff --git a/2017-12-Birmingham/dune b/2017-12-Birmingham/dune
@@ -0,0 +1,11 @@
+(include_subdirs qualified)
+
+(coq.theory
+ (name Birmingham2017)
+ (flags :standard
+        -noinit
+        -indices-matter
+        -type-in-type
+        -w -notation-overridden)
+ (theories UniMath))
+
diff --git a/2019-04-Birmingham/dune b/2019-04-Birmingham/dune
@@ -0,0 +1,11 @@
+(include_subdirs qualified)
+
+(coq.theory
+ (name Birmingham2019)
+ (flags :standard
+        -noinit
+        -indices-matter
+        -type-in-type
+        -w -notation-overridden)
+ (theories UniMath))
+
diff --git a/2019-07-Columbus/dune b/2019-07-Columbus/dune
@@ -0,0 +1,11 @@
+(include_subdirs qualified)
+
+(coq.theory
+ (name Columbus2019)
+ (flags :standard
+        -noinit
+        -indices-matter
+        -type-in-type
+        -w -notation-overridden)
+ (theories UniMath))
+
diff --git a/2022-07-Cortona/dune b/2022-07-Cortona/dune
@@ -0,0 +1,11 @@
+(include_subdirs qualified)
+
+(coq.theory
+ (name Cortona2022)
+ (flags :standard
+        -noinit
+        -indices-matter
+        -type-in-type
+        -w -notation-overridden)
+ (theories UniMath))
+
diff --git a/2024-07-Minneapolis/dune b/2024-07-Minneapolis/dune
@@ -0,0 +1,11 @@
+(include_subdirs qualified)
+
+(coq.theory
+ (name Minneapolis2024)
+ (flags :standard
+        -noinit
+        -indices-matter
+        -type-in-type
+        -w -notation-overridden)
+ (theories UniMath))
+
diff --git a/dune-project b/dune-project
@@ -0,0 +1,3 @@
+(lang dune 3.5)
+(using coq 0.6)
+(name Schools)