From 9abdf623dcb87377a83dc15eed277609fc997bdd Mon Sep 17 00:00:00 2001
From: "Paolo G. Giarrusso" <p.giarrusso@gmail.com>
Date: Sat, 23 Jul 2022 12:49:39 +0200
Subject: [PATCH] Dune build files

---
 dune                 | 11 +++++++++++
 dune-project         |  3 +++
 iris/dune            |  7 +++++++
 iris_deprecated/dune |  7 +++++++
 iris_heap_lang/dune  |  7 +++++++
 iris_unstable/dune   |  6 ++++++
 6 files changed, 41 insertions(+)
 create mode 100644 dune
 create mode 100644 dune-project
 create mode 100644 iris/dune
 create mode 100644 iris_deprecated/dune
 create mode 100644 iris_heap_lang/dune
 create mode 100644 iris_unstable/dune

diff --git a/dune b/dune
new file mode 100644
index 000000000..1dc8daa04
--- /dev/null
+++ b/dune
@@ -0,0 +1,11 @@
+(env
+ (dev
+  (flags :standard)
+  (coq
+   (flags
+    (:standard
+      ;see https://gitlab.mpi-sws.org/iris/iris/-/blob/master/_CoqProject
+      -w -notation-overridden
+      -w -redundant-canonical-projection
+      -w -deprecated-typeclasses-transparency-without-locality
+)))))
diff --git a/dune-project b/dune-project
new file mode 100644
index 000000000..4d3b008d2
--- /dev/null
+++ b/dune-project
@@ -0,0 +1,3 @@
+(lang dune 3.3)
+(using coq 0.4)
+(name coq-iris)
diff --git a/iris/dune b/iris/dune
new file mode 100644
index 000000000..1b4c7d64e
--- /dev/null
+++ b/iris/dune
@@ -0,0 +1,7 @@
+(include_subdirs qualified)
+(coq.theory
+ (name iris)
+ (package coq-iris)
+
+ (theories stdpp)
+)
diff --git a/iris_deprecated/dune b/iris_deprecated/dune
new file mode 100644
index 000000000..f2d380eeb
--- /dev/null
+++ b/iris_deprecated/dune
@@ -0,0 +1,7 @@
+(include_subdirs qualified)
+(coq.theory
+ (name iris.deprecated)
+ (package coq-iris-deprecated)
+
+ (theories iris)
+)
diff --git a/iris_heap_lang/dune b/iris_heap_lang/dune
new file mode 100644
index 000000000..e20b8067c
--- /dev/null
+++ b/iris_heap_lang/dune
@@ -0,0 +1,7 @@
+(include_subdirs qualified)
+(coq.theory
+ (name iris.heap_lang)
+ (package coq-iris-heap-lang)
+
+ (theories iris)
+)
diff --git a/iris_unstable/dune b/iris_unstable/dune
new file mode 100644
index 000000000..1f534d8d7
--- /dev/null
+++ b/iris_unstable/dune
@@ -0,0 +1,6 @@
+(include_subdirs qualified)
+(coq.theory
+ (name iris.unstable)
+ (package coq-iris-unstable)
+ (theories iris iris.heap_lang)
+)
-- 
GitLab