From d0246d8f8244f903b94ec423f2e111dc80f0e863 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Sat, 28 Sep 2024 18:45:01 +0200
Subject: [PATCH] Add Makefile for compat

---
 theories/Make.compat | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 theories/Make.compat

diff --git a/theories/Make.compat b/theories/Make.compat
new file mode 100644
index 0000000000..86cbdd3ff0
--- /dev/null
+++ b/theories/Make.compat
@@ -0,0 +1,7 @@
+Compat/AdmitAxiom.v
+Compat/Stdlib818.v
+Compat/Stdlib819.v
+Compat/Stdlib820.v
+Compat/Stdlib821.v
+
+-Q Compat Stdlib.Compat