From a92bfaeb7b516f57729559fee2bf30037d5977ed Mon Sep 17 00:00:00 2001
From: Oliver Bock <oliver.bock@aei.mpg.de>
Date: Fri, 20 May 2011 14:34:16 +0200
Subject: [PATCH] Added top-level  convenience Makefile

* Supported targets: linux (default), macos, win32, clean
---
 Makefile | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 Makefile

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..cd0dae2
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,17 @@
+default: linux
+
+linux:
+	$(MAKE) -C src
+	$(MAKE) -C example
+
+macos:
+	$(MAKE) -C src
+	$(MAKE) -C example
+
+win32:
+	$(MAKE) -C src -f Makefile.mingw
+	$(MAKE) -C example -f Makefile.mingw
+
+clean:
+	$(MAKE) -C src clean
+	$(MAKE) -C example clean
-- 
GitLab