]> gitweb.michael.orlitzky.com - spline3.git/blobdiff - makefile
Remove a useless import.
[spline3.git] / makefile
index 36f07cd14154904f9949690b46d5d4abf7155262..a15145d35d115435167b67880cb0c611845a00d0 100644 (file)
--- a/makefile
+++ b/makefile
@@ -6,19 +6,21 @@ GHC_WARNINGS += -fwarn-orphans
 GHC_WARNINGS += -fwarn-type-defaults
 
 BIN := spline3
+GHC_OPTS := $(GHC_WARNINGS) -odir /tmp -hidir /tmp --make -o bin/${BIN}
+
 
 .PHONY : test publish_doc doc src_html hlint
 
 $(BIN): src/*.hs
-       ghc -O2 $(GHC_WARNINGS) --make -o bin/${BIN} src/*.hs
+       ghc -O2 $(GHC_OPTS) src/*.hs
 
 all: $(BIN) test_src
 
 test_src: src/Tests/*.hs
-       ghc -O2 $(GHC_WARNINGS) --make -o bin/${BIN} src/*.hs src/Tests/*.hs
+       ghc -O2 $(GHC_OPTS) src/*.hs src/Tests/*.hs
 
 profile: src/*.hs
-       ghc -O2 $(GHC_WARNINGS) -prof -auto-all --make -o bin/$(BIN) src/*.hs
+       ghc -O2 $(GHC_OPTS) -prof -auto-all src/*.hs
 
 clean:
        rm -f bin/$(BIN)