Added theories to _CoqProject (to make build via a Makefile easier)

rems-project · Oct 30, 2024 · 75769f8 · 75769f8
1 parent 2f02c44
commit 75769f8
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/_CoqProject b/_CoqProject
@@ -2,4 +2,6 @@
 
 -R theories CheriCaps
 
+theories
+
 -Q _build/default/theories CheriCaps
diff --git a/coq-cheri-capabilities.opam b/coq-cheri-capabilities.opam
@@ -6,7 +6,7 @@ maintainer: ["[email protected]"]
 authors: ["Ricardo Almeida" "Vadim Zaliva"]
 license: "BSD-3-clause"
 homepage: "https://github.com/rems-project/coq-cheri-capabilities"
-version: "20241021"
+version: "20241030"
 bug-reports: "https://github.com/rems-project/coq-cheri-capabilities/issues"
 depends: [
   "dune" {>= "3.7"}
Original file line number	Diff line number	Diff line change
Expand Up		@@ -2,4 +2,6 @@

		-R theories CheriCaps

		theories

		-Q _build/default/theories CheriCaps