From fbed3a4b44823256f17c6a4473e0ec3f63792be6 Mon Sep 17 00:00:00 2001 From: tomsmeding Date: Fri, 20 Jan 2017 16:21:22 +0100 Subject: Initial -- dump of stuff --- Makefile | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 Makefile (limited to 'Makefile') diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..cb0faab --- /dev/null +++ b/Makefile @@ -0,0 +1,18 @@ +GHC = ghc +GHCFLAGS = -Wall -O3 + +TARGET = main + +.PHONY: all clean remake + +all: $(TARGET) + +clean: + rm -f $(TARGET) *.o *.hi + +remake: clean + make all + + +$(TARGET): *.hs + $(GHC) $(GHCFLAGS) $^ -o $@ -- cgit v1.2.3-70-g09d2