]> gitweb.michael.orlitzky.com - dead/htsn-import.git/blobdiff - makefile
Add the example config file.
[dead/htsn-import.git] / makefile
index 7acee98ad4c7db71e0c7346c7b5ae5e21086dcab..207770af85709f27903aeefe7c48b661ca24434b 100644 (file)
--- a/makefile
+++ b/makefile
@@ -8,16 +8,21 @@ $(BIN): $(PN).cabal $(SRCS)
        runghc Setup.hs configure --user --prefix=/
        runghc Setup.hs build
 
-profile: $(PN).cabal $(SRCS)
-       runghc Setup.hs configure --user --enable-executable-profiling --prefix=/
+# 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=/
        runghc Setup.hs build
 
 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,6 +57,9 @@ clean:
        rm -f *.xml
        rm -rf tmp
        rm -f schemagen/*.dtd
+       find ./ -name '*.prof' -delete
+       find ./ -name '*.o' -delete
+       find ./ -name '*.hi' -delete
 
 
 #