From 35756c2cd6f25a29361abd5722c3ed31d8a31328 Mon Sep 17 00:00:00 2001 From: Vidar Holen Date: Sun, 22 Jun 2014 09:16:54 -0700 Subject: [PATCH] Delete outdated Makefile. --- Makefile | 26 -------------------------- 1 file changed, 26 deletions(-) delete mode 100644 Makefile diff --git a/Makefile b/Makefile deleted file mode 100644 index 52e1fd1..0000000 --- a/Makefile +++ /dev/null @@ -1,26 +0,0 @@ -# TODO: Phase out Makefile in favor of Cabal - -GHCFLAGS=-O9 -GHCFLAGS_STATIC=$(GHCFLAGS) -optl-static -optl-pthread - -all: shellcheck shellcheck.1 - : Done - -shellcheck: regardless - : Conditionally compiling shellcheck - ghc $(GHCFLAGS) --make shellcheck - -shellcheck.1: shellcheck.1.md - : Formatting man page - pandoc -s -t man $< -o $@ - -clean: - rm -f .tests shellcheck shellcheck.1 - rm -f *.hi *.o ShellCheck/*.hi ShellCheck/*.o - rm -rf dist - -shellcheck-static: regardless - : Conditionally compiling a statically linked shellcheck-static - ghc $(GHCFLAGS_STATIC) --make shellcheck -o shellcheck-static - -regardless: