X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=makefile;h=207770af85709f27903aeefe7c48b661ca24434b;hb=7397aa9968299e6ce1a5e503f5362296fe902ef9;hp=1a585c0d9b6cf308ca68432d02c434b872b86a14;hpb=82157c01482605c11449f96b9d72e88ebe04c549;p=dead%2Fhtsn-import.git diff --git a/makefile b/makefile index 1a585c0..207770a 100644 --- a/makefile +++ b/makefile @@ -8,7 +8,10 @@ $(BIN): $(PN).cabal $(SRCS) runghc Setup.hs configure --user --prefix=/ runghc Setup.hs build -profile: $(PN).cabal $(SRCS) +# The $(BIN) dependency means that we should build once normally +# before attempting the profiling build (this is required for some +# reason). +profile: $(PN).cabal $(SRCS) $(BIN) runghc Setup.hs configure --user \ --enable-executable-profiling \ --prefix=/ @@ -16,10 +19,10 @@ profile: $(PN).cabal $(SRCS) doc: $(PN).cabal $(SRCS) runghc Setup.hs configure --user --prefix=/ - runghc Setup.hs hscolour --executables - runghc Setup.hs haddock --internal \ - --executables \ - --hyperlink-source + runghc Setup.hs hscolour --all + runghc Setup.hs haddock --all \ + --hyperlink-source \ + --haddock-options="--ignore-all-exports" # # Testing. @@ -52,9 +55,9 @@ clean: runghc Setup.hs clean rm -f *.log rm -f *.xml - rm *.prof rm -rf tmp rm -f schemagen/*.dtd + find ./ -name '*.prof' -delete find ./ -name '*.o' -delete find ./ -name '*.hi' -delete