diff options
Diffstat (limited to 'mk/flavours/bench-cross.mk')
| -rw-r--r-- | mk/flavours/bench-cross.mk | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/mk/flavours/bench-cross.mk b/mk/flavours/bench-cross.mk new file mode 100644 index 0000000000..9c3b68c895 --- /dev/null +++ b/mk/flavours/bench-cross.mk @@ -0,0 +1,15 @@ +SRC_HC_OPTS = -O -H64m +GhcStage1HcOpts = -O +GhcStage2HcOpts = -O0 +GhcLibHcOpts = -O2 +BUILD_PROF_LIBS = NO +SplitObjs = NO +HADDOCK_DOCS = NO +BUILD_DOCBOOK_HTML = NO +BUILD_DOCBOOK_PS = NO +BUILD_DOCBOOK_PDF = NO + +INTEGER_LIBRARY = integer-simple +Stage1Only = YES +DYNAMIC_BY_DEFAULT = NO +DYNAMIC_GHC_PROGRAMS = NO |