diff options
Diffstat (limited to 'mk/flavours/bench-cross-ncg.mk')
| -rw-r--r-- | mk/flavours/bench-cross-ncg.mk | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/mk/flavours/bench-cross-ncg.mk b/mk/flavours/bench-cross-ncg.mk new file mode 100644 index 0000000000..6b686af5c4 --- /dev/null +++ b/mk/flavours/bench-cross-ncg.mk @@ -0,0 +1,17 @@ +SRC_HC_OPTS = -O -H64m +GhcStage1HcOpts = -O +GhcStage2HcOpts = -O0 +GhcLibHcOpts = -O2 +BUILD_PROF_LIBS = NO +SplitObjs = NO +SplitSections = NO +HADDOCK_DOCS = NO +BUILD_SPHINX_HTML = NO +BUILD_SPHINX_PDF = NO +BUILD_MAN = NO +WITH_TERMINFO = NO + +INTEGER_LIBRARY = integer-simple +Stage1Only = YES +DYNAMIC_BY_DEFAULT = NO +DYNAMIC_GHC_PROGRAMS = NO |