From 91256c62fe173ae4c57262c6d1b5ed7e7ec18656 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lennard=20G=C3=A4her?= <gaeher@mpi-sws.org>
Date: Mon, 28 Oct 2024 10:36:09 +0000
Subject: [PATCH] Update Makefile
---
Makefile | 19 +++++++++++--------
1 file changed, 11 insertions(+), 8 deletions(-)
diff --git a/Makefile b/Makefile
index 449e1937..942b24c8 100644
--- a/Makefile
+++ b/Makefile
@@ -1,11 +1,14 @@
-# Forward most targets to Coq makefile (with some trick to make this phony)
-%: Makefile.coq phony
- +@make -f Makefile.coq $@
-
all: Makefile.coq
+@make -f Makefile.coq all
.PHONY: all
+# Permit local customization
+-include Makefile.local
+
+# Forward most targets to Coq makefile (with some trick to make this phony)
+%: Makefile.coq phony
+ +@make -f Makefile.coq $@
+
clean: Makefile.coq
+@make -f Makefile.coq clean
find theories tests \( -name "*.d" -o -name "*.vo" -o -name "*.aux" -o -name "*.cache" -o -name "*.glob" -o -name "*.vio" \) -print -delete || true
@@ -43,10 +46,10 @@ build-dep: builddep
.PHONY: build-dep
-# Some files that do *not* need to be forwarded to Makefile.coq
-Makefile: ;
-_CoqProject: ;
-opam: ;
+# Some files that do *not* need to be forwarded to Makefile.coq.
+# ("::" lets Makefile.local overwrite this.)
+Makefile Makefile.local _CoqProject $(OPAMFILES):: ;
+
# Phony wildcard targets
phony: ;
--
GitLab