wip: Use Dune as primary build system

lthms · May 7, 2019 · 7660e37 · 7660e37
1 parent 3c884ae
commit 7660e37
Show file tree

Hide file tree

Showing 4 changed files with 24 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -23,4 +23,8 @@ html/*
 !html/index.html
 **/html
 docs/freespec
-mlihtml/
+mlihtml/
+
+# dune
+freespec.install
+_build/
diff --git a/core/theories/dune b/core/theories/dune
@@ -0,0 +1,16 @@
+(coqlib
+  (name FreeSpec)
+  (public_name freespec.FreeSpec.Core)
+  (modules Interface
+           Undefined
+           Semantics
+           Program
+           Component
+           Specification
+           Specification.Constant
+           Specification.Reference
+           Specification.Undefined
+           Compose
+           Tactics))
+
+(include_subdirs qualified)
diff --git a/dune-project b/dune-project
@@ -0,0 +1,3 @@
+(lang dune 1.9)
+(using coq 0.1)
+(name freespec)
diff --git a/freespec.opam b/freespec.opam