added original Makefile

ComNets-Bremen · Nov 19, 2018 · 7465887 · 7465887
1 parent f395919
commit 7465887
Showing 1 changed file with 23 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -0,0 +1,23 @@
+all: checkmakefiles
+	cd src && $(MAKE)
+
+clean: checkmakefiles
+	cd src && $(MAKE) clean
+
+cleanall: checkmakefiles
+	cd src && $(MAKE) MODE=release clean
+	cd src && $(MAKE) MODE=debug clean
+	rm -f src/Makefile
+
+makefiles:
+	cd src && opp_makemake -f --deep
+
+checkmakefiles:
+	@if [ ! -f src/Makefile ]; then \
+	echo; \
+	echo '======================================================================='; \
+	echo 'src/Makefile does not exist. Please use "make makefiles" to generate it!'; \
+	echo '======================================================================='; \
+	echo; \
+	exit 1; \
+	fi