From 59dd901fbe76fc1dfc2d0fd3b725c47735f4bb1c Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sun, 22 Mar 2026 00:33:50 -0300
Subject: Sublanguages improvement & Coq experiment (#53)

* separation and functor for sublanguages

* add coq experiment for termination

* fix tests with envelopes

* add timestamp and print responses to server on terminal

* remove coq experiment for trivial cases and rework gate

* refactor nesting with let*

* remove non-envelope sublang support and tests on server

* manip_err duplication purge and better format as s-expr

* abstract storage with dispatch for sublanguages

* dead code and minor refactor due to old non-envelope parsing on subl

* refactor server to use proper dml alg error and wire ephem relations

* remove (schema)

* change .gitignore to blacklist folders
---
 proof/Makefile | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 proof/Makefile

(limited to 'proof/Makefile')

diff --git a/proof/Makefile b/proof/Makefile
new file mode 100644
index 0000000..a9e1f72
--- /dev/null
+++ b/proof/Makefile
@@ -0,0 +1,14 @@
+COQMAKEFILE ?= Makefile.coq
+
+all: $(COQMAKEFILE)
+	mkdir -p ../lib/drl_verified
+	$(MAKE) -f $(COQMAKEFILE)
+
+$(COQMAKEFILE): _CoqProject
+	coq_makefile -f _CoqProject -o $(COQMAKEFILE)
+
+clean: $(COQMAKEFILE)
+	$(MAKE) -f $(COQMAKEFILE) clean
+	rm -f $(COQMAKEFILE) $(COQMAKEFILE).conf
+
+.PHONY: all clean
-- 
cgit v1.2.3