From 75769f8ba9e16c7e1e456f6d8d12400f0443a158 Mon Sep 17 00:00:00 2001
From: Ricardo Almeida <3705908+ric-almeida@users.noreply.github.com>
Date: Wed, 30 Oct 2024 18:33:50 +0000
Subject: [PATCH] Added theories to _CoqProject (to make build via a Makefile
 easier)

---
 _CoqProject                 | 2 ++
 coq-cheri-capabilities.opam | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/_CoqProject b/_CoqProject
index ec30549..deb35d5 100644
--- 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
index de3895a..aa4a625 100644
--- a/coq-cheri-capabilities.opam
+++ b/coq-cheri-capabilities.opam
@@ -6,7 +6,7 @@ maintainer: ["ricardo.almeida@ed.ac.uk"]
 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"}