From 9b4514299243e76ab40014d9b14da1e1aa5454a1 Mon Sep 17 00:00:00 2001
From: Lorenz Meier <lm@inf.ethz.ch>
Date: Sun, 11 Oct 2015 12:04:34 +0200
Subject: [PATCH] Abort compilation if some smart "developers" think
 downloading a ZIP file is a good idea.

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

diff --git a/Makefile b/Makefile
index 1e4546a3f7..2473eeff43 100644
--- a/Makefile
+++ b/Makefile
@@ -31,6 +31,14 @@
 #
 ############################################################################
 
+# Enforce the presence of the GIT repository
+#
+# We depend on our submodules, so we have to prevent attempts to
+# compile without it being present.
+ifeq ($(wildcard .git),)
+	$(error YOU HAVE TO USE GIT TO DOWNLOAD THIS REPOSITORY. ABORTING.)
+endif
+
 # Help
 # --------------------------------------------------------------------
 # Don't be afraid of this makefile, it is just passing