From d58d90b85318a5d4b5f3851621371004f98e7957 Mon Sep 17 00:00:00 2001 From: Enno Date: Sat, 5 Mar 2011 04:17:02 +0100 Subject: [PATCH] sometimes we need a Makefile to be happy --- Makefile | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 Makefile diff --git a/Makefile b/Makefile new file mode 100644 index 000000000..573ba6503 --- /dev/null +++ b/Makefile @@ -0,0 +1,13 @@ +all: bin/eressea + +bin: + mkdir bin + +bin/eressea: bin/Makefile + cd bin ; make + +bin/Makefile: bin + cd bin ; cmake .. + +clean: + rm -rf bin