X-Git-Url: https://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=makefile;h=6820e5a50020c27d2e5ebf9a04f05b8f5a55177f;hb=6b331ce746d10e9fe180b7c8ecc75988b24da535;hp=7523e3ae20e44f16ec9657a7533f9dea605a41cd;hpb=aa0d923bb292eb248821467c4693c6c8948740cb;p=spline3.git diff --git a/makefile b/makefile index 7523e3a..6820e5a 100644 --- a/makefile +++ b/makefile @@ -10,7 +10,15 @@ 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 \ + -rtsopts \ + -threaded \ + -fno-spec-constr-count \ + -o bin/${BIN} .PHONY : test publish_doc doc src_html hlint @@ -28,10 +36,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/*