From 5bc5e17dc6981ef19ad213984929aed931d98651 Mon Sep 17 00:00:00 2001
From: Dan Rostovtsev <dan@rostovtsev.org>
Date: Thu, 2 Apr 2026 12:15:09 -0400
Subject: Lambda v0.0.0

---
 Makefile | 29 -----------------------------
 1 file changed, 29 deletions(-)
 delete mode 100644 Makefile

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
deleted file mode 100644
index 520ce64..0000000
--- a/Makefile
+++ /dev/null
@@ -1,29 +0,0 @@
-# Makefile taken from Rocq Reference Manual 9.0.0
-
-# KNOWNTARGETS will not be passed along to CoqMakefile
-
-KNOWNTARGETS := CoqMakefile extra-stuff extra-stuff2
-
-# KNOWNFILES will not get implicit targets from the final rule, and so
-# depending on them won't invoke the submake
-# Warning: These files get declared as PHONY, so any targets depending
-# on them always get rebuilt
-
-KNOWNFILES := Makefile _CoqProject
-.DEFAULT_GOAL := invoke-coqmakefile
-
-CoqMakefile: Makefile _CoqProject
-	$(COQBIN)coq_makefile -f _CoqProject -o CoqMakefile
-
-invoke-coqmakefile: CoqMakefile
-	$(MAKE) --no-print-directory -f CoqMakefile \
-		$(filter-out $(KNOWNTARGETS), $(MAKECMDGOALS))
-.PHONY: invoke-coqmakefile $(KNOWNFILES)
-
-####################################################################
-##                      Your targets here                         ##
-####################################################################
-
-# This should be the last rule, to handle any targets not declared above
-%: invoke-coqmakefile
-	@true
-- 
cgit v1.3