diff options
Diffstat (limited to 'mk/flavours/perf.mk')
| -rw-r--r-- | mk/flavours/perf.mk | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/mk/flavours/perf.mk b/mk/flavours/perf.mk new file mode 100644 index 0000000000..d68f2f9102 --- /dev/null +++ b/mk/flavours/perf.mk @@ -0,0 +1,10 @@ +SRC_HC_OPTS = -O -H64m +GhcStage1HcOpts = -O +GhcStage2HcOpts = -O2 +GhcLibHcOpts = -O2 +BUILD_PROF_LIBS = YES +#SplitObjs +#HADDOCK_DOCS +#BUILD_DOCBOOK_HTML +#BUILD_DOCBOOK_PS +#BUILD_DOCBOOK_PDF |