From 49e04554c05717ed3828d4f815a24eeeb01e58e3 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Mon, 22 Aug 2011 15:38:24 -0400 Subject: [PATCH] Fix the "clean" target in the makefile to remove *.hi and *.o files from /tmp. --- makefile | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/makefile b/makefile index 7523e3a..b284d7e 100644 --- a/makefile +++ b/makefile @@ -10,7 +10,8 @@ GHC_WARNINGS += -fwarn-monomorphism-restriction GHC_WARNINGS += -fwarn-unused-do-bind BIN := spline3 -GHC_OPTS := $(GHC_WARNINGS) -odir /tmp -hidir /tmp --make -o bin/${BIN} +TMPDIR := /tmp +GHC_OPTS := $(GHC_WARNINGS) -odir $(TMPDIR) -hidir $(TMPDIR) --make -o bin/${BIN} .PHONY : test publish_doc doc src_html hlint @@ -28,10 +29,8 @@ profile: src/*.hs clean: rm -f bin/$(BIN) - rm -f src/*.hi - rm -f src/*.o - rm -f src/Tests/*.hi - rm -f src/Tests/*.o + rm -f $(TMPDIR)/*.hi + rm -f $(TMPDIR)/*.o rm -f *.prof rm -rf doc/html/* -- 2.43.2