From 2aca245fcafb16aa56c661a2dd1fc843fa14ff97 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Tue, 29 Nov 2016 09:37:35 +0100
Subject: [PATCH] fix makefile

---
 Makefile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Makefile b/Makefile
index 26f70702..c09b64ca 100644
--- a/Makefile
+++ b/Makefile
@@ -31,6 +31,10 @@ build-dep:
 	opam pin add coq-lambda-rust "$$(pwd)#HEAD" -k git -y -n
 	opam install coq-lambda-rust --deps-only -y
 
+# some fiels that do *not* need to be forwarded to Makefile.coq
+Makefile: ;
+_CoqProject: ;
+
 # Phony targets (i.e. targets that should be run no matter the timestamps of the involved files)
 phony: ;
 .PHONY: all clean phony
-- 
GitLab