Fix the "clean" target in the makefile to remove *.hi and *.o files from /tmp.

diff --git a/makefile b/makefile
index 7523e3ae20e44f16ec9657a7533f9dea605a41cd..b284d7ea57fdadabb33af4971b413961eb0f91c0 100644 (file)
--- 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/*