From 3c0f974fd4aac4cfac289516aa33502376139676 Mon Sep 17 00:00:00 2001 From: Tempestas Ludi Date: Sat, 17 Aug 2024 17:40:51 +0200 Subject: [PATCH] Add a configuration for building with dune --- 2017-12-Birmingham/dune | 11 +++++++++++ 2019-04-Birmingham/dune | 11 +++++++++++ 2019-07-Columbus/dune | 11 +++++++++++ 2022-07-Cortona/dune | 11 +++++++++++ 2024-07-Minneapolis/dune | 11 +++++++++++ dune-project | 3 +++ 6 files changed, 58 insertions(+) create mode 100644 2017-12-Birmingham/dune create mode 100644 2019-04-Birmingham/dune create mode 100644 2019-07-Columbus/dune create mode 100644 2022-07-Cortona/dune create mode 100644 2024-07-Minneapolis/dune create mode 100644 dune-project diff --git a/2017-12-Birmingham/dune b/2017-12-Birmingham/dune new file mode 100644 index 0000000..8449ebd --- /dev/null +++ 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 new file mode 100644 index 0000000..8b8eb17 --- /dev/null +++ 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 new file mode 100644 index 0000000..6f205ff --- /dev/null +++ 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 new file mode 100644 index 0000000..e5d3608 --- /dev/null +++ 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 new file mode 100644 index 0000000..f9fff14 --- /dev/null +++ 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 new file mode 100644 index 0000000..e950e14 --- /dev/null +++ b/dune-project @@ -0,0 +1,3 @@ +(lang dune 3.5) +(using coq 0.6) +(name Schools)